Python 3 port

Use python's 2to3 tool to convert all .py files to python 3 syntax.