Convert jvm-parser to use prettyprinter library

[brianhuffman]

With PR #931, most packages in the SAW ecosystem will have standardized on the modern prettyprinter library for pretty printing. Everything that was previously using ansi-wl-pprint has been ported to prettyprinter. However, there are still some submodules that use the old Text.PrettyPrint.HughesPJ library (from package pretty) for pretty printing, including jvm-parser.

Text.PrettyPrint.HughesPJ is not so similar to prettyprinter as ansl-wl-pprint is, so it will be a bit more work to convert. But when we do, we can avoid the "icky" conversions from Doc to String to other Doc type that we see in modules like SAWScript.JavaPretty:

saw-script/src/SAWScript/JavaPretty.hs

Line 52 in 14bab8f

[ text (show (ppType (fieldType f))) -- TODO: Ick. Different PPs.

saw-script/src/SAWScript/JavaPretty.hs

Line 71 in 14bab8f

prettyType = text . show . ppType -- TODO: Ick.

[brianhuffman]

Packages llvm-pretty and cryptol also use the HughesPJ pretty library, and should probably be ported to prettyprinter as well, for the same reason.