Add support for many-seeds mode to `cargo miri`

[RalfJung]

We have ./miri many-seeds for our own development and testing purposes, but this could also be useful for end-users. I am imagining something like cargo miri --many-seeds=0..256 test ... or so, which would run the test 256 times with different seeds.