ast modifs and additional arrow_taint phase to retrieve which arrow "protects" / "taints" which variable

Contract resolution still need to be done as well as dealing with the machine code level and so on.

Different parsers yet but shared process.
In case of lusi input the C backend is bypassed since the .h is generated from the lusic and no C code should be generated since it may overwrite existing manually written code

But

- Renamed type declarations as lustre_types and machine_code_types

- program type renamed as program_t
- Initiating the lustrev tool with dependencies to z3 and seal.

[stateflow] some progress, linking the parsed json to lustrec engine. Some variables are not yet typed. To investigate ...