Merge branch 'fix/remove-e-acsl-version' into 'master'

src/plugins/e-acsl/.gitignore

src/plugins/e-acsl/doc/Changelog

src/plugins/e-acsl/doc/Makefile.common

src/plugins/e-acsl/doc/refman/.gitignore

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

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

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

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

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

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

src/plugins/e-acsl/doc/userman/introduction.tex

src/plugins/e-acsl/doc/userman/macros.tex

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

src/plugins/e-acsl/src/local_config.ml

src/plugins/e-acsl/src/local_config.mli

src/plugins/e-acsl/src/options.ml