Updates the .gitmodules to use https:// for travis-ci