Changed the URL of repos to use the HTTP Proxy

Make it possible to clone repos under the environment that requires HTTP Proxy.