Updated .gitmodules to use HTTPS to get through the firewall