Port Quviq coverage processing to plutus

[ana-pantilie]

The code for adding the annotations that generate the coverage information is in plutus, but not the code that processes the output to make something human-consumable, which is in plutus-apps. It would make sense for this code to also live in plutus, ideally with a tutorial explaining how to use it.

[effectfully]

Nobody knows what this is about and whether we actually need it, so I'm closing the issue.