Adds a pretty-printing encoder: ostream_pretty_encoder.