[tests] Compare the generated code just after running Value. Use gcc_x86_64 as machdep for all these tests.
[tests] call testrun.sh in test_config in order to compile and run the generated code. This code is no more the one being compared with the oracle (see above item).

[quantif] updated according to AST changes: && is now left-associative

[E-ACSL] improve ACSL contracts of its libraries
[E-ACSL] no more unknow locations in translation of quantifications

[E-ACSL] fixed bug with global declarations involved in the memory model (btw fixed but #1392)
[E-ACSL] additional feedback messages

[E-ACSL] e_acsl_assert now takes the crashing function in argument

[E-ACSL] code of e_acsl_assert put in e_acsl.c (no more in e_acsl.h)

[E-ACSL] convert postcondition even in presence of untranslated assigns clause
[E-ACSL] fix bug when the translation of a predicate containing \at is abruptely stopped because of a not-yet-implemented construct (the generated code contained undeclared __e_acsl_at variables)