Better Travis config: don't use tox there, and add pypy.