Change PrettyPrinter.pprint(), so that output is written directly to the

output stream, instead of writing it to a StringIO first and writing the
result of this to the output stream. This should speed up the initial
output.