prettyprinter-configurable

This is a version of the prettyprinter library that makes pretty-printing configurable. I regret writing it the way I did, so you probably don't want to use it.