Change submodule urls (git -> https)

To work around too strict firewalls that block git's smart protocol port 9418
Also makes `.gitmodules` consistent