[e-acsl] prepare for Dune

src/plugins/e-acsl/tests/builtin/oracle/gen_strcat.c

src/plugins/e-acsl/tests/builtin/oracle/gen_strcmp.c

src/plugins/e-acsl/tests/builtin/oracle/gen_strcpy.c

src/plugins/e-acsl/tests/builtin/oracle/gen_strlen.c

src/plugins/e-acsl/tests/builtin/oracle/strcmp.res.oracle

...ins/e-acsl/tests/builtin/oracle_dev/strcat.e-acsl.err.log

...ins/e-acsl/tests/builtin/oracle_dev/strcmp.e-acsl.err.log

...ins/e-acsl/tests/builtin/oracle_dev/strcpy.e-acsl.err.log

...ins/e-acsl/tests/builtin/oracle_dev/strlen.e-acsl.err.log

src/plugins/e-acsl/tests/builtin/strcat.c

src/plugins/e-acsl/tests/builtin/strcmp.c

src/plugins/e-acsl/tests/builtin/strcpy.c

src/plugins/e-acsl/tests/builtin/strlen.c

src/plugins/e-acsl/tests/format/fprintf.c

src/plugins/e-acsl/tests/format/oracle/fprintf.res.oracle

src/plugins/e-acsl/tests/format/oracle/gen_fprintf.c

src/plugins/e-acsl/tests/format/oracle/gen_printf.c

src/plugins/e-acsl/tests/format/oracle/printf.res.oracle

...ins/e-acsl/tests/format/oracle_dev/fprintf.e-acsl.err.log

...gins/e-acsl/tests/format/oracle_dev/printf.e-acsl.err.log