Merge branch 'feature/basile/eacsl-error-refactor' into 'master'

src/plugins/e-acsl/E_ACSL.mli

src/plugins/e-acsl/Makefile.in

src/plugins/e-acsl/headers/header_spec.txt

src/plugins/e-acsl/src/analyses/bound_variables.ml

src/plugins/e-acsl/src/analyses/bound_variables.mli

src/plugins/e-acsl/src/analyses/interval.ml

src/plugins/e-acsl/src/analyses/memory_tracking.ml

src/plugins/e-acsl/src/analyses/typing.ml

src/plugins/e-acsl/src/code_generator/contract.ml

src/plugins/e-acsl/src/code_generator/env.ml

src/plugins/e-acsl/src/code_generator/gmp.ml

src/plugins/e-acsl/src/code_generator/injector.ml

src/plugins/e-acsl/src/code_generator/label.ml

src/plugins/e-acsl/src/code_generator/logic_functions.ml

src/plugins/e-acsl/src/code_generator/memory_translate.ml

src/plugins/e-acsl/src/code_generator/quantif.ml

src/plugins/e-acsl/src/code_generator/temporal.ml

...plugins/e-acsl/src/code_generator/translate_predicates.ml

src/plugins/e-acsl/src/code_generator/translate_rtes.ml

src/plugins/e-acsl/src/code_generator/translate_terms.ml