Import current gdb.

Import HEAD of gdb-7.12

import current gdb-7.10.1 as gdb.old