[wp] havoc->memcpy: non-qualif oracles

...s/wp_acsl/oracle/assigned_initialized_memtyped.res.oracle

..._acsl/oracle/assigned_not_initialized_memtyped.res.oracle

src/plugins/wp/tests/wp_acsl/oracle/axioms.res.oracle

src/plugins/wp/tests/wp_acsl/oracle/chunk_typing.res.oracle

src/plugins/wp/tests/wp_acsl/oracle/looplabels.res.oracle

src/plugins/wp/tests/wp_acsl/oracle/opaque_struct.res.oracle

src/plugins/wp/tests/wp_acsl/oracle/simpl_is_type.res.oracle

src/plugins/wp/tests/wp_acsl/oracle/struct_fields.res.oracle

src/plugins/wp/tests/wp_acsl/oracle/zero.0.res.oracle

src/plugins/wp/tests/wp_acsl/oracle/zero.1.res.oracle

src/plugins/wp/tests/wp_bts/oracle/bts_2110.res.oracle

src/plugins/wp/tests/wp_bytes/oracle/assigns_sep.res.oracle

src/plugins/wp/tests/wp_bytes/oracle/structs.res.oracle

src/plugins/wp/tests/wp_bytes/oracle/union.res.oracle

.../wp/tests/wp_hoare/oracle/reference_and_struct.res.oracle

...ugins/wp/tests/wp_hoare/oracle/reference_array.res.oracle

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

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

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

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