Make the REPL use pretty printing