Use https:// rather than git:// for submodules

To avoid problems with the git protocol's port being blocked by a
firewall, use https URIs for submodules