Rebase against master branch

src/plugins/e-acsl/.gitignore

src/plugins/e-acsl/INSTALL

src/plugins/e-acsl/Makefile.in

src/plugins/e-acsl/doc/Changelog

src/plugins/e-acsl/gcc.sh

src/plugins/e-acsl/gcc_bts.sh

src/plugins/e-acsl/gcc_runtime.sh

src/plugins/e-acsl/gcc_test.sh

src/plugins/e-acsl/man/e-acsl-gcc.sh.1

src/plugins/e-acsl/misc.ml

src/plugins/e-acsl/misc.mli

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

...lugins/e-acsl/share/e-acsl/bittree_model/e_acsl_adt_api.h

...ins/e-acsl/share/e-acsl/bittree_model/e_acsl_adt_mmodel.h

...lugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree.h

...e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_mmodel.c

src/plugins/e-acsl/share/e-acsl/e_acsl.h

src/plugins/e-acsl/share/e-acsl/e_acsl_assert.h

src/plugins/e-acsl/share/e-acsl/e_acsl_bits.h

src/plugins/e-acsl/share/e-acsl/e_acsl_debug.h