flarecast / FLARECAST Infrastructure / workflowmanager