ToolDef user manual

Currently, the user manual is highly incomplete. Contributions are welcome.

The documentation in the user manual aims to explain the features of the ToolDef language in a practical (often hands-on) way. It does not aim to explain all the details, please consult the ToolDef language reference manual for such information.