Use https rather than git for submodules