Stop using mirroring to install packages

PyPi is now more reliable than the mirroring infrastructure.