Use https for git submodules.