Support libc memset

[bjorn3]

This is very common in C code. Supporting it in miri would make it easier to detect UB in C code translated to rust using c2rust.

[RalfJung]

I'm surprised we don't already have this.^^ I guess Rust code never uses it since we have write_bytes.