openocd_gdb.md: formatting and additional information on openocd setup for OS X