Switching .gitmodules to HTTPS rather than SSH.