openocd_gdb.md: updated XCode section with extra information on how to setup gdb in Mavericks