Git urls

UCM commands likepushandpullcan reference git urls for Unison code which is not hosted on Unison's own code-hosting platform, Unison share.

This can have which have one of the following forms:

The UCM tab completion provides some handy shortcuts: