Use https instead of git for submodules