Removed some obsolete stuff + Pushing things in the direction of openocd.texi