The gkno launcher for executing tools or pipelines