convert to python3

Use 2to3.