use https for .gitmodules so travis can update them.