Add an input method to Console

[stuhood]

To support usecases that consume user input, we should add the equivalent of input to Console.

[stuhood]

#11536 gave sys.stdin a fileno(), which is sufficient to allow the input method to work. We should still reify this into the Console object at some point, but it's no longer a blocker.

[stuhood]

Aaactually, it looks like fileno is not sufficient to allow input to work. It also wants to use readline (in some cases).

[jsirois]

If its useful and you haven't thought of it already, I quickly tried hacking this from the python side by wrapping sys.stdin in io.BufferedReader, then whacking a readable mole, then stopped - a few more moles at least. But may be quicker to experiment from that side in that way,

[stuhood]

Yea, that's the path that I'm on as well. input appears to involve more magic than is strictly needed for this case (uses GNU readline, etc). Will keep trying that for a bit, and if all else fails, switch to a Console.input implementation based on sys.stdin.readline.