Use the more reliable https protocol for submodules

Certain machines may not be able to use the git protocol due to
firewall intervention. Use https instead.