Add libedit support for the "repl" command

fixes #8091