* README (`configure' options): Document GDB-specific options to