Auto merge of #1436 - samrat:support-stdin-read, r=RalfJung
Auto merge of #1436 - samrat:support-stdin-read, r=RalfJung

Handle `read`s on STDIN

Closes #1434

rust-lang/miri,rust-lang/miri,rust-lang/miri,rust-lang/miri