Use https for git submodule