Make the GDB webkit.py script compatible with Python v3