Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable
[lustresf] work in progress. Added global env with initial values
[lustresf] refactoring automata generation using Automata.ml functions
[lustresf] Some progress: automaton compiles but not when preprocessed
A fresh option to print with declared types instead of inferred ones
lustresf: Better construction of lustre ast. Still more work to be done.
Moved stateflow tool in src/toolUpdated the makefile to compile lustresfNot working yet