Change printDump so that it prints in user style by default.
This means that (eg) -ddump-simpl output is much more readable...
but you may get confused by variables that look the same but aren't.

To recover the previous behaviour use -dppr-debug

This change only affects compiler hackers; let me know if it
has any good or bad effects.

Simon