Add support for switchable pretty-print
Make repl timeout changable