use https protocol for git submodules