Travis: use pypi mirror by default

This is critical because apparently pypi has serious timeout issues recently, causing builds to fail at random.