heavily-proxied environments supported by using https repo URIs

also updated some submodules to use more well-maintained repos