Use HTTPS URLs for git submodules