Merge branch 'kostyantyn/feature/segment-update' into 'master'

src/plugins/e-acsl/Makefile.in

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/scripts/testrun.sh

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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