Workaround for readline interactive bug.

On some platforms, it spews endless prompts and never reads a line.
This avoids the issue by turning it into a normal readline, which does
lose the readline stuff, but is better than no REPL at all.