Change submodule URLs to HTTPS (from Git) to avoid firewalls that block ...

Change submodule URLs to HTTPS (from Git) to avoid firewalls that block that port.