travis: use pypy instead of python 3.1 (not supported)