use https instead of git for git submodule