Switch from wl-pprint to prettyclass

This version of the same idea is nicer (the empty document is an
identity instead of just annoying), and the pretty package (that it is
based on) is more widely used.