[Ptests] implicit .cmxs extension for MODULE directives

src/plugins/aorai/tests/ya/assigns.c

...nstantiate/tests/api/external_instantiator_registration.c

src/plugins/instantiate/tests/plugin/needs_global.i

src/plugins/variadic/tests/declared/called_in_ghost.i

src/plugins/wp/tests/wp/stmtcompiler_test.i

src/plugins/wp/tests/wp/stmtcompiler_test_rela.i

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

src/plugins/wp/tests/wp_plugin/combined.c

src/plugins/wp/tests/wp_tip/tac_split_quantifiers.i

tests/callgraph/function_pointer.i

tests/cil/change_formals.c

tests/cil/insert_formal.i

tests/cil/mkBinOp.i

tests/float/fval_test.i

tests/misc/add_assigns.i

tests/misc/behavior_names.i

tests/misc/bts0452.i

tests/misc/bts0489.i

tests/misc/bts1201.i

tests/misc/bts1347.i