Use https urls for submodules

Please, use https urls for submodules. It simplifies the life of anyone using git behind restrictive firewalls.