* gdb.textinfo (GDB/MI Miscellaneous Commands): Use @table