Fix bug in difference printer.

This fixes a long-standing bug about quotation marks showing up in the
difference between types that pts attaches to error messages.
Make pts-* executables conditional (fix #102)

One might later want to change the description or the flag, depending on
what is meant here. But I think this will do.