Use https in git submodules.