Git submodule now referenced by an https URI.

This way the submodule can be initialized by users who do not have
write access to the ryppl repositories.