WorkflowHub: a registry for computational workflows