Cardano Updates

* Remove html from pr+master CI

* Add status badge to README

* Remove cardano-ledger-executable-spec from CI

* Move hs-build step to nightly; run conformance tests after build

* Update github actions' versions

* Merge copy_legacy_pdf action into CI

* Add Licence badge to README

Resolved 2 conflicts from merging origin/main into ci/client-generator:
- cloud-agent/client/generator/yarn.lock: kept PR's full lockfile
  regeneration (PR rewrites tooling); main's transitive
  follow-redirects bump will be re-resolved on next yarn install.
- cloud-agent/client/python/setup.py: kept PR's deletion (the file
  is removed as part of the codegen switch); main's urllib3 bump
  was on a file that no longer exists in this PR's tree.

sbt compile + Test/compile both green against the merge result.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>
Signed-off-by: Yurii Shynbuiev <[email protected]>

- Update config.json from book.world.dev.cardano.org
- Update peer-snapshot.json with latest relay nodes
- Enable UseTraceDispatcher for better logging

Co-Authored-By: Claude Opus 4.7 <[email protected]>

Signed-off-by: Eric Torreborre <[email protected]>

Signed-off-by: Sasha Bogicevic <[email protected]>

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

- /governance/committee: current committee snapshot with members, quorum,
  and source NewCommittee governance action (null for the Conway-genesis
  committee).
- /governance/committee/votes: paged history of all CC member votes.
- /governance/committee/{cc_id}/votes: paged votes filtered by CIP-129 hot
  or cold credential; cold queries aggregate across hot-key rotations.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

- Use Text.unlines in prettyRelevanceArray and forHuman ContextDump
- Rename JSON keys eventsPerSecond and catchUpRatio to camelCase
- Simplify printArray to build a single Text value
- Use maybe [] Map.toList instead of Map.toList . fromMaybe Map.empty

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

In version `2.18` of `QuickCheck` the function `withMaxSuccess` was
renamed to `withNumTests` with the former being immediately
deprecated.

The solution is to add a new exposed module `Test.Cardano.Base.QuickCheck`
containing just a function named `withNumTests`.

Enable TraceTxInbound tracer

In version `2.18` of `QuickCheck` the function `withMaxSuccess` was
renamed to `withNumTests` with the former being immediately
deprecated.

The solution is to add a new exposed module `Test.Cardano.Base.QuickCheck`
containing just a function named `withNumTests`.

This commit introduces a general hierarchy for common era testing