9b943388

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

Mutation redundancy: drop unused redundancy.json read API

Nothing reads redundancy.json back, so remove the speculative
readRedundancyReportFile / readRedundancyReportFileIfExists /
RedundancyReportDecodeException (and now-unused imports) to keep weeder
green and the API minimal.  The JSON codec roundtrip is already covered
by jsonSpec.
forwardCompatibilitymutation-manifest-examplemutation-sydtest-mutation-examplepre-commitreleaseshellconfiguredevShelldefaultmutation-sydtest-mutation-example-diffmutation-sydtest-mutation-example-redundancyx86_64-linux