Preparing for coming ACSL

Merging branches, disabling the specification print in Ada backend. Should be re-enabled at some point

By default traces are not produced. Requires the option -t to produce them

- now properly records the scopes
- only register requested ones

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

  instance.

to the pp_file and all subfunction in adb generation we pass a list of typed instance which
contains the submachines directly with the instance name and the substitution.

     - Correct pp_value to print state access when the variable is memory