Tweak the gdb support title to fit in better with the devguide.
Tweak the gdb support title to fit in better with the devguide.

jeff5/jython-devguide,jython/devguide,jython/devguide,jeff5/jython-devguide,jeff5/jython-devguide,ezio-melotti/devguide,jython/devguide