[gui] Form Checker: Fix typos; Add not() for invariant property (usefull to know this); Try to fix fields widths

[cmd] Add todo: need to put some functions of command_line tools into the cadbiom library (for the loading of macs...)

At the end of the process the last current_mac should not have 0 frontiers; it seems to be a nonsense

[lib] MCLAnalyser: Fix typos and show beginner bug in init of query.dim_start property: Use a NEW object PLEASE; do not reuse shared object (references etc.)...

[cmd] solutions_search; (re)Implementation of find_macs api; solutions search is now 3-4x times more performant

[lib] CLUnfolder: Refactor and audit __init_initial_constraint_0 __init_final_constraint_0 __init_invariant_constraint_0

=> These functions are problematic and NOT TESTED

Precompute __var_code_table with the literal names in future format; i.e with a last char '`' at the end.
Thus it is easy to search them directly in the dict (in O(1)), instead of slicing them.