recover good oracles for spec

ptests/ptests.ml

tests/saveload/deps.i

tests/sparecode/test_config

tests/spec/anon_arg_2.i

tests/spec/axiom_included.c

tests/spec/bts0578.i

tests/spec/generalized_check.i

tests/spec/lib.c

tests/spec/merge_1.i

tests/spec/merge_bts938.c

tests/spec/merge_different_assigns.i

tests/spec/multi_axiomatic_1.i

tests/spec/oracle/acsl_basic_allocator.res.oracle

tests/spec/oracle/annot_decl_bts1009.res.oracle

tests/spec/oracle/anon_arg_2.res.oracle

tests/spec/oracle/array_typedef.res.oracle

tests/spec/oracle/assignable_location.res.oracle

tests/spec/oracle/axiom_included.res.oracle

tests/spec/oracle/behavior_assert.0.res.oracle

tests/spec/oracle/behavior_assert.1.res.oracle