Text interface file/stdin can be combined.

Also fixed awkward delay when typing queries to stdin.
The reason was that it always wanted to read the next few tokens due to
the Advance() calls. The effect of Advance() is lazy now.