Updates gitmodules to use public URLs as required by Travis CI.