fix almost all warnings
Ada: Start cleaning Ada to prepare for why beckend
Ada: First support for transition predicate generation.
Ada: Refactor Ada Backend to reduce redundancy, make it more modular and more simple.
Ada: Correct ada main to handle statelles top level node
Ada: - Correct the merge with lustrec-seal - Improve support for builtin function(still work to do) - Add generation of a gpr file for lib(without main). - Add var initialisation in the reset, still work to do.
Merging branches, disabling the specification print in Ada backend. Should be re-enabled at some point
Ada: Improve input/output of main ada file
Ada: Some indentation
Ada: Add readers and printers for main.adb to match c tests.
Ada: Removed useless function
Ada: Add support for arrows as an independent generic package, instantiated in each package using it. It required a lot of refactoring.
Ada: Remove generation of init and clear and some refactoring around prototype.
Ada Change private to limited private for State type package.
Ada: Add the generation of the wrapper file : the main ada file and the project. It is calledonly if the main node option is given to lustrec. This feature implied some refactoring. Alsoadded some OCaml Doc to undocummented functions.
Ada: skeletons for Ada compiler