Avoid intermediary string when reading from STDIN

[helins]

Currently, special request for reading from STDIN reads a line as a string and then reads this string as Convex Lisp. It should be possible avoiding that and handling directly with an InputStream or a Reader, it is just a matter of making them stop at the next newline.