Use HTTPS for git submodules