merge with stable/neon

src/plugins/e-acsl/configure.ac

src/plugins/e-acsl/gcc_test.sh

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

src/plugins/e-acsl/share/e-acsl/memory_model/e_acsl_mmodel.h

src/plugins/e-acsl/tests/e-acsl-runtime/mainargs.c

...s/e-acsl/tests/e-acsl-runtime/oracle/bts1398.1.res.oracle

...ins/e-acsl/tests/e-acsl-runtime/oracle/bts1398.res.oracle

...plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_mainargs.c

...lugins/e-acsl/tests/e-acsl-runtime/oracle/gen_mainargs2.c

.../e-acsl/tests/e-acsl-runtime/oracle/mainargs.1.err.oracle

.../e-acsl/tests/e-acsl-runtime/oracle/mainargs.1.res.oracle

...ns/e-acsl/tests/e-acsl-runtime/oracle/mainargs.err.oracle

...ns/e-acsl/tests/e-acsl-runtime/oracle/mainargs.res.oracle

...ns/e-acsl/tests/e-acsl-runtime/oracle/stdout.1.res.oracle

...gins/e-acsl/tests/e-acsl-runtime/oracle/stdout.res.oracle

src/plugins/e-acsl/visit.ml