repl: REPLServer inherits from readline.Interface
doc: update repl.markdown for last commit
repl: remove a unnecessary concatenation