merge with stable/sodium

src/plugins/e-acsl/doc/Changelog

src/plugins/e-acsl/doc/refman/changes_modern.tex

src/plugins/e-acsl/doc/refman/macros_modern.tex

src/plugins/e-acsl/doc/refman/memory.tex

src/plugins/e-acsl/doc/refman/speclang_modern.tex

src/plugins/e-acsl/mmodel_analysis.ml

...plugins/e-acsl/share/e-acsl/memory_model/e_acsl_bittree.c

src/plugins/e-acsl/share/e-acsl/memory_model/e_acsl_mmodel.c

src/plugins/e-acsl/share/e-acsl/memory_model/e_acsl_mmodel.h

...gins/e-acsl/share/e-acsl/memory_model/e_acsl_mmodel_api.h

src/plugins/e-acsl/tests/bts/oracle/bts1399.0.res.oracle

src/plugins/e-acsl/tests/bts/oracle/bts1399.1.res.oracle

src/plugins/e-acsl/tests/bts/oracle/gen_bts1399.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts13992.c

src/plugins/e-acsl/tests/e-acsl-runtime/freeable.c

.../e-acsl/tests/e-acsl-runtime/oracle/freeable.0.err.oracle

.../e-acsl/tests/e-acsl-runtime/oracle/freeable.0.res.oracle

.../e-acsl/tests/e-acsl-runtime/oracle/freeable.1.err.oracle

.../e-acsl/tests/e-acsl-runtime/oracle/freeable.1.res.oracle

...plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_freeable.c