readLine

Reads a single line from stdin, stripping the trailing \n (and \r if present, for tolerance with Windows-style line endings). Returns an empty string on immediate EOF.

TODO: the trailing-bytes are collected but the returned String is currently empty — see the comment in the body about String.fromUtf8Bytes.