Merge branch 'feature/eva/acsl-let-bindings' into 'master'

Changelog

...ests/arith/oracle/at_on-purely-logic-variables.res.oracle

src/plugins/e-acsl/tests/arith/oracle/let.res.oracle

src/plugins/e-acsl/tests/arith/oracle/quantif.res.oracle

src/plugins/e-acsl/tests/arith/oracle/rationals.res.oracle

src/plugins/e-acsl/tests/bts/oracle/issue69.res.oracle

...ns/e-acsl/tests/constructs/oracle/printed_data.res.oracle

src/plugins/e-acsl/tests/constructs/oracle/rte.res.oracle

.../e-acsl/tests/memory/oracle/ranges_in_builtins.res.oracle

...sts/special/oracle/e-acsl-external-print-value.res.oracle

...sts/special/oracle/e-acsl-no-assert-print-data.res.oracle

src/plugins/eva/Eva.mli

src/plugins/eva/legacy/eval_terms.ml

src/plugins/eva/legacy/logic_inout.mli

tests/value/logic.c

tests/value/oracle/logic.res.oracle