Cardano Updates

Signed-off-by: Francisco Javier Ribo Labrador <[email protected]>

This PR:
- removes SRP on Netwrok and updates CHaP to bring the 1.0 release of
`ouroboros-network`. Bring the final integration of the ledger peers
snapshot query.
- bumps SRP on Ledger, this revision hopefully will be released soon.
- bumps SPR on kes-agent. This revision WILL be released soon.

This simplify the design has the prover was always returning a list with
only one item anyway.
The optional is for the case were the items lists could not be certified
either because:
1. they are not in the cardano chain at all
2. they are in the chain but not yet certified by Mithril

Note: on openapi we enforce a `null` for the field instead of allowing
it to be missing, this is intentional to show clearly that no proof
could be computed.

+ Heavily refactor the script:
- switch to named arguments instead of positional
- rework proof hashes writting and artifacts join for better perf
- allow running in non-interactive environments (e.g. CI)

https://github.com/postgres/postgres/blob/master/src/include/catalog/pg_type.dat#L81

Signed-off-by: Chris Gianelloni <[email protected]>