[general] Refactor get_node_eqs to produce (eqs, auts) with automatons
[lustret] Improved mutation with json traceability
Cleaning output:- no more classic display for ocamlc- compilation warnings removed
This is the first merge that does compile. Not tested yet.
first version (doesn't even compile) of mutation and test generation standalone command: lustretmostly a recovery of an ancient svn repo: mutations