travis-ci: Use Python 3.3