Use https URLs for git submodules