[Git][ghc/ghc][wip/jeltsch/textual-bytecode-output] Make `ibi_info_mod` rendered in quotes, like `bi_tick_mod`