Merge branch 'feature/basile/eacsl-rtl-misc' into 'master'

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

...e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.h

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

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

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

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

...gins/e-acsl/share/e-acsl/libc_replacements/e_acsl_stdio.c

...gins/e-acsl/share/e-acsl/libc_replacements/e_acsl_stdio.h

...ins/e-acsl/share/e-acsl/libc_replacements/e_acsl_string.c

...ins/e-acsl/share/e-acsl/libc_replacements/e_acsl_string.h

...acsl/share/e-acsl/numerical_model/e_acsl_floating_point.c

...acsl/share/e-acsl/numerical_model/e_acsl_floating_point.h

...gins/e-acsl/share/e-acsl/numerical_model/e_acsl_gmp_api.h

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

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

...on_model/bittree_model/e_acsl_bittree_observation_model.c

..._model/bittree_model/e_acsl_bittree_timestamp_retrieval.c

...ugins/e-acsl/share/e-acsl/observation_model/e_acsl_heap.c

...ugins/e-acsl/share/e-acsl/observation_model/e_acsl_heap.h

...share/e-acsl/observation_model/e_acsl_observation_model.c