Arvados

You have to:

• Have ARVADOS_API_TOKEN in your environment
• Set up the helper in your user configuration: do the git config --system steps on the shell install guide, but say git config --user instead.

This is a little bit of a hassle, but still probably easier than cloning over SSH for people who don't use it regularly. Document it in the User Guide and in Workbench, the same places we talk about cloning over SSH.