ANSI escape codes in Miri output

[kangalio]

Started happening only recently. Since a day ago or so?

[kangalio]

Caused by rust-lang/miri#2277

[RalfJung]

Fixed by rust-lang/miri#2283

[epage]

See also #645

[RalfJung]

I think this issue here has long been fixed. Also the screenshot from the OP doesn't exist any more so we can't even try to reproduce it.

@shepmaster can you close this?

[epage]

If the fix is "don't show them", then yes, that PR resolved it. If its "show colored output", then it seeems #645 would be the issue to track that.

[RalfJung]

This issue is about a Miri specific issue. That one got fixed.