33e913df

By: Tom Sydney Kerckhove <syd@cs-syd.eu>

Mutation redundancy: coverage-basis subcommand (P2)

Add the 'redundancy' driver subcommand with --basis coverage: pure
post-processing of the cached augmented manifest(s).  Builds the
per-suite test->reached-mutations relation (coverageRelations), runs
analyzeRedundancy, and writes redundancy.json (a JSON array, one report
per suite) + a coloured redundancy.txt, mirroring the diff runner's
artifact handling.

renderRedundancyReport renders all lenses with basis-appropriate wording
(reaches vs catches).  Tests: coverageRelations unit test + golden
renders for kill/coverage/empty.  The 'kill' basis is stubbed pending P3.