I modified the pretty-printing code so that it uses the
'Text.PrettyPrint' system rather than raw strings.

I updated the syntax of pretty-printed qualifiers to use colons
as separators rather than hyphens to fix an ambiguity problem
(since hyphens can occur in package names). See issue 3502.