edit .gitmodules to use https:// instead of git://