Improve REPL editing with readline
Merge remote-tracking branch 'origin/easy_repl' into develop