Simplify REPL stuff

Making a general-purpose line reader was too much work for the time being.
Perhaps later?