Use https in .gitmodules

Using ssh might fail, https should always work though.