Miri flag passing changed

[RalfJung]

Passing flags to Miri changed to make cargo miri test more compatible with cargo test. hence this will need adjusting:

bacon-rajan-cc/.travis.yml

Line 11 in 0041221

- cargo miri test -- -Zmiri-seed=23

However, in fact you should not have to pass a seed at all any more. Just a plain cargo miri test should do it. (cargo miri setup also is not needed as a separate step any more.)

The old way still works for now, but is deprecated and will be removed in the future.

[RalfJung]

Heads-up: I am planning to remove the compatibility hack that made passing Miri flags as cargo arguments still work (rust-lang/miri#1769). Once this lands, CI here will break.

Fixing it is easy: just use MIRIFLAGS="-Zmiri-seed=23" cargo miri test instead.