PLT-8605: Code coverage support

[sjoerdvisscher]

Pre-submit checklist:

• Branch
  • [ ] Tests are provided (if possible)
  • [x] Commit sequence broadly makes sense and have useful messages
  • [ ] Important changes are reflected in changelog.d of the affected packages
  • [x] Relevant tickets are mentioned in commit messages
• PR
  • [ ] (For external contributions) Corresponding issue exists and is linked in the description
  • [x] Targeting main unless this is a cherry-pick backport
  • [x] Self-reviewed the diff
  • [x] Useful pull request description
  • [ ] If relevant, reference the ADR in the PR and reference the PR in the ADR
  • [x] Reviewer requested

[sjoerdvisscher]

Ah sorry no, the intention is to enable code coverage for plutus scripts.

To try it out do cabal repl cardano-node-emulator-test :l Plutus.Examples.EscrowSpec checkPropEscrowWithCoverage

Which, after a while, outputs an Escrow.html file.