Cardano Updates

Fixes #2895

set SO_LINGER option with 0 linger interval.

Most of the values will be anyway evaluated by the p2p governor,
but this is just a safer default for tracer types.

TracePromoteWarmFailed - show target & number of active peers
TracePromoteWarmDone   - show target & number of active peers
TraceDemoteHotFailed   - show target & number of active peers
TraceDemoteHotDone     - show target & number of active peers
TracePromoteColdFailed - show target & number of established peers
TracePromoteColdDone   - show target & number of established peers
TraceDemoteWarmFailed  - show target & number of established peers
TraceDemoteWarmDone    - show target & number of established peers

When `chain-sync` returns, we use `activateDelay :: DiffTime` to delay
re-promotion of that peer to `hot` again.

EstablisehdPeers keepsp track of established peer connection and status.
It is using the same logic as KnownPeers to track peers which are not
ready to promote to hot state, though this patch is not using this
mechanism, it just replaces the original logic.

Use Debug.Trace to annotate the invariant.  This gives a better
debugging information.

It's more useful to get assertion failures where the state changes.
This is only done for some of the state changes.

The connection monitoring needs to update inProgressPromoteWarm, by
removing peers that fail to be promoted.

When a connection errored, the governor will see it as a demotion to
a cold peer.  In such a case we update re-connect time as well as
increment fail count.

Public root peers are a subset of known peers. Public and local roots
might overlapp (in which case the peer will be recorded
as local).  For that reason public roots is a subset of known peers
which are either local or public.

TODO: requires prop_governor_livelock

Reset 'knonwPeerFailCount' as soon as the peer is succesfuly promoted
from cold to warm.

Use QuickCheck timeout of 10s on each test case.

Some decisions needs access to the current time rather than the time
when the governor loop blocked.  This patch is using `TimedDecision
~ Time -> Decision` to achieve this.  Completed async jobs are also
using current time instead of the `blockedAt` value.

When checking if we need to udate the state, we need to take
'nextConnectTimes' into account.