#578 Added a new 'Tool invocation' option to the ToolDef interpreter
requested to merge 578-allow-invoking-a-tool-from-a-tooldef-script-with-different-arguments into develop
- Also improved/fixed the documentation of ToolDef interpreter.
- Probably best to review per commit.
Closes #578 (closed)