GDB 7.12 Release.
Set GDB version number to 7.12. gdb/ChangeLog: * version.in: Set GDB version number to 7.12.