Don't raise EndOfFile when stdin::read reaches EOF.

Just return `None' as stipulated by the `Reader' trait. Fixes #11104.