[GHC] #14711: Machine readable output of coverage