Speculative package definition for PPrint.
Checksum changed.
Split the rules for pprint in two steps.

- The TO_INSTALL Makefile variable is computed at the beginning of a call to
make, so it doesn't work in one call because the cmx files are not there
initially.
Merge pull request #358 from protz/my

Add PPrint to the list of OPAM packages