Change submodules to HTTPS

At work, our firewall blocks SSH connections.