add stuff scavenged from gdbmi Xcode plugin

also use config.status hack for src/gdb/gnulib's configure script

Change-Id: I7a5eaaa586bb1fa5b1c830f522869369de05f16b