[tests] Updated oracles (config option)

- Now plug-ins do not have automatically a Config module, corresponding states do not exist anymore

tests/misc/oracle/my_visitor.1.res.oracle

 [kernel] Warning: emitter emitter1: correctness parameter -s does not exist anymore. Ignored.
 [kernel] Warning: emitter emitter2: correctness parameter -s2 does not exist anymore. Ignored.
-[kernel] Warning: 15 states in saved file ignored. They are invalid in this Frama-C configuration.
+[kernel] Warning: 13 states in saved file ignored. They are invalid in this Frama-C configuration.
 [kernel] Warning: emitter emitter1: correctness parameter -s does not exist anymore. Ignored.
 [kernel] Warning: emitter emitter2: correctness parameter -s2 does not exist anymore. Ignored.
-[kernel] Warning: 15 states in saved file ignored. They are invalid in this Frama-C configuration.
+[kernel] Warning: 13 states in saved file ignored. They are invalid in this Frama-C configuration.
 /* Generated by Frama-C */
 int f(void)
 {

tests/misc/oracle/orphan_emitter.res.oracle

 [kernel] Warning: emitter emitter1: correctness parameter -orphan does not exist anymore. Ignored.
-[kernel] Warning: 11 states in saved file ignored. They are invalid in this Frama-C configuration.
+[kernel] Warning: 9 states in saved file ignored. They are invalid in this Frama-C configuration.

tests/saveload/oracle/basic.4.res.oracle

-[kernel] Warning: 11 states in saved file ignored. They are invalid in this Frama-C configuration.
+[kernel] Warning: 9 states in saved file ignored. They are invalid in this Frama-C configuration.