Custom tools: define tools in a GitHub repo and sync them into the catalog#1332

RhysSullivan wants to merge 21 commits into

mainUsefulSoftwareCo/executor:mainfrom

apps-custom-toolsUsefulSoftwareCo/executor:apps-custom-toolsCopy head branch name to clipboard