Using mirrors is no longer recommended by pip

PyPi now serves packages using a CDN.