Merge branch 'release/argon' into 'master'

src/plugins/e-acsl/VERSION

src/plugins/e-acsl/doc/Changelog

src/plugins/e-acsl/interval.ml

src/plugins/e-acsl/interval.mli

src/plugins/e-acsl/loops.ml

src/plugins/e-acsl/loops.mli

src/plugins/e-acsl/misc.ml

src/plugins/e-acsl/misc.mli

src/plugins/e-acsl/scripts/e-acsl-gcc.sh

src/plugins/e-acsl/tests/bts/issue69.c

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

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

src/plugins/e-acsl/translate.ml