This is a spin-off from #572. See that issue for reasons for this change. The proposal is to add an option to the ToolDef interpreter, such that you can specify `--invoke=mytool(1, true)` or so, to invoke a specific tool from the ToolDef script, with given arguments, rather than executing the whole script.