Travis: use Python 3.3 targets