Port to Python 3 / Gedit 3.8

Gedit 3.8 switched to Python 3 for its plugins.