[Ptests] uniformization with master branch (changes of MODULES semantics)

ptests/ptests.ml

...ns/wp/tests/wp_acsl/oracle/unsupported_builtin.res.oracle

src/plugins/wp/tests/wp_acsl/unsupported_builtin.i

tests/builtins/big_local_array.i

tests/cil/change_to_instr.i

tests/cil/queue_ghost_instr.i

.../constant_propagation/introduction_of_non_explicit_cast.c

tests/dynamic/dynamic.i

tests/jcdb/jcdb.c

tests/journal/control.i

tests/journal/control2.c

tests/journal/intra.i

tests/journal/oracle/control2.res.oracle

tests/journal/oracle/control2_sav.res

tests/libc/fc_libc.c

tests/libc/oracle/fc_libc.0.res.oracle

tests/misc/issue_191.c

tests/misc/my_visitor.c

tests/misc/oracle/save_comments.res.oracle

tests/misc/save_comments.i