[eacsl] Add support for Windows to E-ACSL RTL

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

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

...ins/e-acsl/share/e-acsl/internals/e_acsl_private_assert.c

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

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

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

...-acsl/observation_model/internals/e_acsl_safe_locations.c

...-acsl/observation_model/internals/e_acsl_safe_locations.h

...on_model/segment_model/e_acsl_segment_observation_model.c

...rvation_model/segment_model/e_acsl_segment_omodel_debug.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