Cardano Updates

Parametrise `Ouroboros.Network.Socket` API with monad `m`.  This patch
allows us to have a cleaner integration of ouroboros-network in
`dmq-node`, where we need to connect to the node, but we don't want to
be forced to use `IO` monad too early or pass callbacks around.

Churn test

Use raw block hash in ledger peer snapshot

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.

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.

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.

un-orphaned from orphan-instances into Bootstrap module

Churn test