make headers self-contained

src/plugins/e-acsl/misc.ml

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

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

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

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

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

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

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

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

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

src/plugins/e-acsl/share/e-acsl/e_acsl_trace.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/bts1304.res.oracle

src/plugins/e-acsl/tests/bts/oracle/bts1307.res.oracle