Cardano Updates

Feature: CardanoProvider network info and stake pool stats

2914: Add updateSealedTx and ExtraTxBodyContent r=Anviking a=Anviking

- [x] Refactoring: Replace `to{Shelley, Allegra, Mary, Alonzo}TxOut` with `toCardanoTxOut` for easier re-use.
- [x] Add `updateSealedTx :: SealedTx -> ExtraTxBodyContent -> Either ErrUpdateSealedTx SealedTx`
- [x] Test that `updateSealedTx noExtraBodyContent` works with all PAB goldens
- [x] Test that `updateSealedTx noExtraBodyContent` fails when there are existing key witnesses
- [x] Test that inputs and outputs are combined correctly. 

### Comments

Not tested:
- That it works for all previous eras.

<!-- Additional comments, links, or screenshots to attach, if any. -->

### Issue Number

ADP-1140

Relates to / should be needed by #2906

<!-- Reference the Jira/GitHub issue that this PR relates to, and which requirements it tackles.
  Note: Jira issues of the form ADP- will be auto-linked. -->


Co-authored-by: Johannes Lund <[email protected]>

This allows the `CoinSelection.Collateral` module to have an API that is
consistent with that of `CoinSelection` and `CoinSelection.Balance`, where:

 -  Selection constraints are common to all selections in a given era,
    and are determined by the protocol parameters.

 -  Selection parameters are specific to a particular selection, and are
    not determined by the protocol parameters.

Changing the dummy address length fixes it, but causes a cascading set
of other golden-changes which are serious enough to get their own PR.

- [x] Add `updateSealedTx :: SealedTx -> ExtraTxBodyContent -> Either ErrUpdateSealedTx SealedTx
- [x] Test that `updateSealedTx noExtraBodyContent` works with all PAB goldens
- [x] Test that `updateSealedTx noExtraBodyContent` fails when there are existing key witnesses
- [x] Add property test, showing that the resulting inputs and outputs
    are the union of the inputs and outputs of the arguments.

Not tested:
- That it works for all previous eras.

Pure refactoring. This allows the case-switch-on-era logic to be
re-used.

'DomainAddress' is renamed to 'DomainAccessPoint'.

'RelayAccessPoint' constructors are uniform: they take either ip or
domain and address.  We also provide 'RelayDomainAccessPoint'
bidirectional pattern which links 'RelayAccessDomain' and
'DomainAccessPoint'

Both types, and their instances are moved to their own module.

We use terminology that is consistent with other coin selection modules.

And minor docs changes