Use git: protocol for submodules

This simplifies the deployment because does not involve SSH
authentication.