Using HTTPS for git submodules