[Git][ghc/ghc][wip/jeltsch/textual-bytecode-output] Improve printing of various strings