Convert to Python3

Mainly done by running the command line utility '2to3'.
Fixes #69