Mixed use of the tools/ directory

[MakisH]

Our tools/ directory currently contains:

• Tools meant to be copied by users when they want to extract a tutorial (e.g., log.sh)
• Tools used by pre-commit (e.g., check-size.sh)
• System tests related tools (tools/tests/)

This is rather confusing for users. I would suggest splitting this into:

• tools/: Only for user-facing scripts
• tests/: For the system tests

What do we then do with the scripts used by pre-commit? Alternatives:

• checks/ (ugh)
• pre-commit/ (clear for us, strange for someone that does not know what this is)
• keep them in tools/, but maybe in a subdirectory tools/pre-commit?

[uekerman]

AI suggests to use scripts/pre-commit/ as location for the pre-commit scripts.
tests for system tests sounds perfect.
tools should normally be dev-facing tools (not sure if we follow this rule elsewhere), user-facing tools could also go into bin/ apparently?