gdb: Switch "info types" over to use the gdb::options framework