Multi-user installation + proxy must use sudo -E

Otherwise, sudo resets the environment and loses the http_proxy environment variable.