Gdb7.6

Added support for GDB 7.6, which uses python3 rather than python2.

Note that the test/x86.sh script now assumes that python3 is available.