Add a pretty-printer for ParseTree