Merge branch 'feature/patrick/dunable-ptests' into 'master'

[tests] using PLUGIN directive

See merge request frama-c/meta!47

tests/test_config.in

 COMMENT: Generated file. Edit test_config.in
+
 MACRO: META -meta -meta-share ./share
 MACRO: WP -then-last -wp -wp-timeout 1 -wp-par 1 -wp-msg-key shell  -wp-cache update -wp-session tests/wp-cache @WP_SHARE@
 MACRO: PRINT -then-last -print
+
+MACRO: EVA_PLUGINS eva,scope variadic
+MACRO: WP_PLUGINS wp,rtegen
+PLUGIN: metacsl @WP_PLUGINS@ @EVA_PLUGINS@