MR !152 Review: address reviewer's comments

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

src/plugins/e-acsl/misc.ml

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

...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_floating_point.h

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

src/plugins/e-acsl/share/e-acsl/e_acsl_rtl.c

...e-acsl/share/e-acsl/segment_model/e_acsl_segment_mmodel.c

.../e-acsl/share/e-acsl/segment_model/e_acsl_shadow_layout.h