pretty-printing of AST dumps and a bit of configurability for REPL