Use https links for git submodules (for Travis)