Merge remote-tracking branch 'remotes/stable/stable/sodium'

src/plugins/e-acsl/INSTALL

src/plugins/e-acsl/Makefile.in

src/plugins/e-acsl/README

src/plugins/e-acsl/VERSION

src/plugins/e-acsl/configure.ac

src/plugins/e-acsl/doc/Changelog

src/plugins/e-acsl/doc/manuals/e-acsl-implementation.pdf

src/plugins/e-acsl/doc/manuals/e-acsl-manual.pdf

src/plugins/e-acsl/doc/manuals/e-acsl.pdf

src/plugins/e-acsl/doc/refman/Makefile

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

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

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

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

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

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

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

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

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

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