rough EditLine implementation for REPL

Currently echo double of each char typed, but otherwise works the same. I'd be grateful for any comments for improvement. If you know what's happening or have pointers for tracking it down let me know.