Cardano Updates

These satisfy superclass constraints of LogFormatting instances for
peer selection and counters for a plain ouroboros-network
instantiation which does not use any extra peers.

LogFormatting and MetaTraces instances for TraceTxLogic and TxSubmissionCounters

The expression
> peerSelectionStateToCounters Cardano.PublicRootPeers.toSet
>   Cardano.cardanoPeerSelectionStatetoCounters st

doesn't typecheck because of universally quantified type variables
in the instance head. The next commit introduces a type class and
a follow-up commit will add a constraint to show that we can
provide all the extra peer information in this LogFormatting instance.

Alternatively, the instance could be monomorphic, but that would
lead to duplicated code for the base peer selection counters instance,
and the extra/custom one in another module, and the choice would be
up to the user which one to import. In comparison, the proposed
approach is modular, where the instance with the counters extension
only provides those additional counters to the base instance, and the
user imports both into the program.

The class collects the types of the extra peers and extra tracing.
It also provides a method to retrieve a view with counters of those
extra peers as well as exposes the PublicExtraPeersAPI type. The latter
motivates the removal of extraPeersAPI from PeerSelectionActions
record.

Since the class ties together several types, it also allows to reduce
the number of type variables throughout the codebase.

un-orphaned from orphan-instances into Bootstrap module

numLocalWarmPeers has active local roots already subtracted, so it is
incorrect to do so again.

Fixes
cabal run cardano-diffusion-sim-tests -- --quickcheck-replay="(SMGen
9997593625910766810 2047148039201333979,86)" -p '/progress.ledger peers.progresses towards established target (from above)/' to rerun this test only.