[eacsl:tests] Replace `test_config_dev` with the use of macros

src/plugins/e-acsl/tests/builtin/test_config_dev

-MACRO: DEST @PTEST_RESULT@/gen_@PTEST_NAME@
-MACRO: OUT @PTEST_NAME@.res.log
+MACRO: ROOT_EACSL_GCC_OPTS_EXT --libc-replacements
\ No newline at end of file
-MACRO: ERR @PTEST_NAME@.err.log
-EXEC: ./scripts/e-acsl-gcc.sh --libc-replacements -I @frama-c@ -D -q -c -X --frama-c-extra="-journal-disable -verbose 0 -kernel-warn-key *=inactive" -o @DEST@.run.c -O @DEST@.out @PTEST_FILE@ > @PTEST_RESULT@/@OUT@ 2> @PTEST_RESULT@/@ERR@ && ./@DEST@.out.e-acsl > /dev/null

src/plugins/e-acsl/tests/format/test_config_dev

-MACRO: DEST @PTEST_RESULT@/gen_@PTEST_NAME@
-MACRO: OUT @PTEST_NAME@.res.log
+MACRO: ROOT_EACSL_GCC_OPTS_EXT --validate-format-strings
\ No newline at end of file
-MACRO: ERR @PTEST_NAME@.err.log
-EXEC: ./scripts/e-acsl-gcc.sh --validate-format-strings -I @frama-c@ -q -c -X --frama-c-extra="-verbose 0 -kernel-warn-key *=inactive" -o @DEST@.run.c -O @DEST@.out @PTEST_FILE@ > @PTEST_RESULT@/@OUT@ 2> @PTEST_RESULT@/@ERR@ && ./@DEST@.out.e-acsl > /dev/null

src/plugins/e-acsl/tests/full-mmodel/test_config_dev

-MACRO: DEST @PTEST_RESULT@/gen_@PTEST_NAME@
-MACRO: OUT @PTEST_NAME@.res.log
+MACRO: ROOT_EACSL_GCC_OPTS_EXT --full-mmodel
\ No newline at end of file
-MACRO: ERR @PTEST_NAME@.err.log
-EXEC: ./scripts/e-acsl-gcc.sh --full-mmodel -I @frama-c@ -D -c -X --frama-c-extra="-journal-disable -verbose 0 -kernel-warn-key *=inactive" -o @DEST@.run.c -O @DEST@.out @PTEST_FILE@ > @PTEST_RESULT@/@OUT@ 2> @PTEST_RESULT@/@ERR@ && ./@DEST@.out.e-acsl > /dev/null

src/plugins/e-acsl/tests/gmp-only/test_config_dev

-MACRO: DEST @PTEST_RESULT@/gen_@PTEST_NAME@
-MACRO: OUT @PTEST_NAME@.res.log
+MACRO: ROOT_EACSL_GCC_OPTS_EXT --gmp
\ No newline at end of file
-MACRO: ERR @PTEST_NAME@.err.log
-EXEC: ./scripts/e-acsl-gcc.sh --gmp -I @frama-c@ -c -X --frama-c-extra="-journal-disable -verbose 0 -kernel-warn-key *=inactive" -o @DEST@.run.c -O @DEST@.out @PTEST_FILE@ > @PTEST_RESULT@/@OUT@ 2> @PTEST_RESULT@/@ERR@ && ./@DEST@.out.e-acsl > /dev/null

src/plugins/e-acsl/tests/temporal/test_config_dev

 DONTRUN:
-MACRO: DEST @PTEST_RESULT@/gen_@PTEST_NAME@
-MACRO: OUT @PTEST_NAME@.res.log
+MACRO: ROOT_EACSL_GCC_OPTS_EXT --temporal
\ No newline at end of file
-MACRO: ERR @PTEST_NAME@.err.log
-EXEC: ./scripts/e-acsl-gcc.sh --temporal -I @frama-c@ -D -q -c -X --frama-c-extra="-journal-disable -verbose 0 -kernel-warn-key *=inactive" -o @DEST@.run.c -O @DEST@.out @PTEST_FILE@ > @PTEST_RESULT@/@OUT@ 2> @PTEST_RESULT@/@ERR@ && ./@DEST@.out.e-acsl > /dev/null