[Tests] tests/pretty_printing does not use @EVA_CONFIG@ by default

tests/pretty_printing/oracle/parenthesis.res.oracle

 [kernel] Parsing parenthesis.c (with preprocessing)
+[kernel] Parsing parenthesis.c (with preprocessing)
 /* Generated by Frama-C */
 /*@
 predicate implies(ℤ x, ℤ y) =

tests/pretty_printing/test_config

 COMMENT: this directory is meant to test the parser and pretty-printer
 COMMENT: the default option checks that pretty-printed code can be merged
 COMMENT: with the original one
-CMD: frama-c -no-autoload-plugins @OPTIONS@
-OPT: @PTEST_FILE@ -print -journal-disable -check -then -ocode ocode_@PTEST_NUMBER@_@PTEST_NAME@.c -print -then ocode_@PTEST_NUMBER@_@PTEST_NAME@.c @PTEST_FILE@ -ocode="" -print
+PLUGIN:
+OPT: -print -journal-disable -check -then -ocode ocode_@PTEST_NUMBER@_@PTEST_NAME@.c -print -then ocode_@PTEST_NUMBER@_@PTEST_NAME@.c @PTEST_FILE@ -ocode="" -print