Use https for git submodules