Make the gdb python tools Python 3 compatible

Fixes #2062