Use only HTTPS URLs in repositories for submodules, not SSH URLs

The build for gh-pages fails with SSH URLs.
Only HTTPS URLs are supported.