Merge branch 'feature/patrick/fixes-dune-tests' into 'master'

[tests] fixes some problemes related to dune migration

See merge request frama-c/frama-c!3627

src/plugins/loop_analysis/tests/loop_analysis/with_value.i

 /*run.config
-PLUGIN: from,inout,loopanalysis,eva,scope
+PLUGIN: @PTEST_PLUGIN@ from,inout,eva,scope
 OPT: -eva -eva-show-progress -then -loop
 */
 void f1(int n) {

src/plugins/server/tests/batch/test_config

 PLUGIN: server
 LOG: @PTEST_NAME@.out.json
-OPT: -server-batch @PTEST_DIR@/@PTEST_NAME@.json -server-batch-output-dir @PTEST_RESULT@ -server-msg-key use-relative-filepath
+OPT: -server-batch %{dep:@PTEST_DIR@/@PTEST_NAME@.json} -server-batch-output-dir @PTEST_RESULT@ -server-msg-key use-relative-filepath