rough EditLine implementation for REPL

currently echo double of each char typed, but otherwise works the same