Improvements to the C runtime lirbary of E-ACSL from the remote repository

src/plugins/e-acsl/Makefile.in

src/plugins/e-acsl/gcc_test.sh

src/plugins/e-acsl/man/e-acsl-gcc.sh.1

src/plugins/e-acsl/misc.ml

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

src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_bittree.c

src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_bittree.h

src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_list.c

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

...lugins/e-acsl/share/e-acsl/adt_models/e_acsl_mmodel_api.h

...plugins/e-acsl/share/e-acsl/adt_models/e_acsl_splaytree.c

src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_tree.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_mmodel.h

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

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

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

src/plugins/e-acsl/share/e-acsl/glibc/memcopy.h