Add support for up/down arrow keys in colored repl