travis: try python 3.3