Migration from Python 2.7 to Python 3.3.

The Python sources and libraries now run on Python 3.3.