Travis CI: use Python 3.2