Merge branch 'fix/andre/remove-extraneous-oracles' into 'master'

ptests/check_oracles.sh

...tests/wp_hoare/oracle/alias_assigns_hypotheses.res.oracle

src/plugins/wp/tests/wp_plugin/bitmask0x8000.i

src/plugins/wp/tests/wp_plugin/oracle/unsigned.err.oracle

src/plugins/wp/tests/wp_plugin/oracle/unsigned.res.oracle

...le_qualif/bitmask0x8000.0.session/script/lemma_res_n.json

...le_qualif/bitmask0x8000.0.session/script/lemma_res_y.json

...wp/tests/wp_plugin/oracle_qualif/bitmask0x8000.res.oracle

...lugins/wp/tests/wp_plugin/oracle_qualif/bool.0.res.oracle

...lugins/wp/tests/wp_tip/oracle_qualif/induction.res.oracle

...gins/wp/tests/wp_typed/oracle_qualif/user_init.res.oracle

tests/metrics/oracle/libc.3.res.oracle

tests/misc/oracle/log-file.0.res.oracle

tests/misc/oracle/log-file.1.res.oracle

tests/misc/oracle/my_visitor.res.oracle