Merge branch 'bugfix/basile/eacsl-misc-fixes' into 'master'

src/plugins/e-acsl/doc/Changelog

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

...acsl/share/e-acsl/instrumentation_model/e_acsl_contract.c

...acsl/share/e-acsl/instrumentation_model/e_acsl_temporal.c

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

src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_io.c

src/plugins/e-acsl/share/e-acsl/internals/e_acsl_trace.c

...e/e-acsl/observation_model/bittree_model/e_acsl_bittree.c

...on_model/bittree_model/e_acsl_bittree_observation_model.c

...rvation_model/bittree_model/e_acsl_bittree_omodel_debug.c

..._model/bittree_model/e_acsl_bittree_timestamp_retrieval.c

.../e-acsl/observation_model/internals/e_acsl_omodel_debug.h

...on_model/segment_model/e_acsl_segment_observation_model.c

...observation_model/segment_model/e_acsl_segment_tracking.c

...observation_model/segment_model/e_acsl_segment_tracking.h

...sl/observation_model/segment_model/e_acsl_shadow_layout.c

...sl/observation_model/segment_model/e_acsl_shadow_layout.h

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

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

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