Merge pull request #162.  pprint mode for REPL.