In some modules we directly dump the debugging output to STDOUT
via 'putLogMsg', 'printInfoForUser' etc. However, if -ddump-to-file
is enabled, that output should be written to a file. Easily fixed.
Certain tests (T3017, Roles3, T12763 etc.) expect part of the
output generated by -ddump-types to be in 'PprUser' style. However,
generally we want all other debugging output to use 'PprDump'
style. traceTcRn and traceTcRnForUser help us accomplish this.
This patch also documents some missing flags in the users guide.