Allow invoking a tool from a ToolDef script with different arguments
This is a spin-off from #572 (closed). 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.