Change the .gitmodule settings

change some of the urls that start with git to https.