Cardano Updates

<!-- Describe your change here -->

Closes https://github.com/cardano-scaling/hydra/issues/1858

## Summary
🛩️  introduce new SideLoadSnapshot ClientInput

🛩️  introduce new endpoint POST /snapshot
  - calls new ClientInput

🛩️  introduce new ServerOutput SnapshotSideLoaded
  - to signal when SideLoadSnapshot has been performed.

🛩️  HeadLogic now handles SideLoadSnapshot
- persists LocalStateCleared event: if InitialSnapshot has been side
loaded
- persists LocalStateCleared event + SnapshotConfirmed: if
ConfirmedSnapshot has been side loaded
  - produce SnapshotSideLoaded server output

🛩️  introduce new LogicError SideLoadSnapshotFailed
  - to signal when SideLoadSnapshot fails.

🛩️  HeadLogic handles event much like the SnapshotConfirmed
  - the new snapshot its been adopted as latest confirmed.

🛩️  HeadLogic handles event LocalStateCleared
- It clears pending transactions in the local state, resets the local
UTxO, and restarts the snapshot signing round by pruning the latest seen
snapshot, which also resets the current leader.

🛩️  introduce new endpoint GET /snapshot
  - returns latest ConfirmedSnapshot

🛩️  introduce new endpoint GET /snapshot
  - returns latest ConfirmedSnapshot
- useful in combination with new POST /snapshot in order to reset local
state to latest known.

---

<!-- Consider each and tick it off one way or the other -->
* [x] CHANGELOG updated or not needed
* [x] Documentation updated or not needed
* [x] Haddocks updated or not needed
* [x] No new TODOs introduced or explained herafter

---------

Co-authored-by: Sasha Bogicevic <[email protected]>
Co-authored-by: Sebastian Nagel <[email protected]>

This proves that the withdraw zero implementation works, but a dedicated
script and test suite is needed before merging this.

This proves that the withdraw zero implementation works, but a dedicated
script and test suite is needed before merging this.

We can mock the ledger's certificate state with reward accounts for all
withdrawals with 0 value in a transaction. This will allow included
scripts with Rewarding script purpose to run once for the transaction.

We can remove this once CIP-112 is implemented in the cardano-ledger.

This proves that the withdraw zero implementation works, but a dedicated
script and test suite is needed before merging this.

We can mock the ledger's certificate state with reward accounts for all
withdrawals with 0 value in a transaction. This will allow included
scripts with Rewarding script purpose to run once for the transaction.

We can remove this once CIP-112 is implemented in the cardano-ledger.

Remove extra diff and pragma

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