[E-ACSL] fixed bug in debug mode
[E-ACSL] add missing headers

[E-ACSL] fixed non-termination issue in presence of RTEs in RTE
[E-ACSl] pre-analysis: additional verbosing messages (level 4)

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

[E-ACSL] do not monitor anymore memory locations involved in constructs not yet supported like \freeable

[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)

[E-ACSL] prevent runtime errors in annotations (all of them)
[E-ACSL] fixed bug in interpretation of \valid(\at(...))
[E-ACSL] fixed bug in interpretation of locals in blocks involved in memory model

[E-ACSL] fixed bug #1298 about \valid(v) when v is a formal