Cardano Updates

Triggered by:

```
cabal run cardano-ledger-conway:test:tests -- --match "/Conway era-specific/CDDL/Huddle/Decoding fails when term is zapped/plutus_data: MemoBytes (PlutusData ConwayEra)/" --seed 1615161393
```

The issue is that our list of allowed tags for the `Constr` data
constructor of Plutus `Data` is not exhaustive enough. As per
`PlutusCore.Data`, the allowed tags are 121-127, 1280-1400, and 102.

* mithril-aggregator from `0.8.50` to `0.8.51`
* mithril-signer from `1.0.0` to `1.0.1`
* mithril-aggregator-fake from `0.4.20` to `0.4.21`
* mithril-end-to-end from `0.4.132` to `0.4.133`
* mithril-test-lab/mithril-devnet/VERSION from `0.4.32` to `0.4.33`

Triggered by:

```
cabal run cardano-ledger-conway:test:tests -- --match "/Conway era-specific/CDDL/Huddle/Decoding fails when term is zapped/plutus_data: MemoBytes (PlutusData ConwayEra)/" --seed 1615161393
```

The issue is that our list of allowed tags for the `Constr` data
constructor of Plutus `Data` is not exhaustive enough. As per
`PlutusCore.Data`, the allowed tags are 121-127, 1280-1400, and 102.

- Add `ContinuousFormula` — temporal-operator-free fragment of `Formula`,
  with `retract :: Formula event ty -> Maybe (ContinuousFormula ty)` and
  `eval :: ... -> event -> Reader OnMissingKey Bool`
- Add `cardano-recon-grep` executable (Global Realisation Print): prints a
  JSON array of TraceMessages that realise all given continuous formulas
- Simplify `prettyTraceMessage` to use ToJSON directly (no field remapping)
- Format negative-outcome relevant events as a JSON array in `prettySatisfactionResult`
- Remove dead `Common.hs` (extractJsonProps)
- Add `docs/formula-languages.txt` ASCII diagram of the formula language hierarchy
- Add note to `docs/ltl-formula-syntax.txt` on the `data` prefix omission convention
- Bump version to 1.2.0; update CHANGELOG and README

Triggered by:

```
cabal run cardano-ledger-conway:test:tests -- --match "/Conway era-specific/CDDL/Huddle/Decoding fails when term is zapped/plutus_data: MemoBytes (PlutusData ConwayEra)/" --seed 1615161393
```

The issue is that our list of allowed tags for the `Constr` data
constructor of Plutus `Data` is not exhaustive enough. As per
`PlutusCore.Data`, the allowed tags are 121-127, 1280-1400, and 102.

Signed-off-by: Sasha Bogicevic <[email protected]>

Signed-off-by: Sasha Bogicevic <[email protected]>

  Introduce HydraNodeConfig record type and smart constructors
  (mkSoloConfig, mkTwoPartyConfigs, mkThreePartyConfigs) to replace
  positional arguments in withHydraNode, withHydraNodeCatchingUp, and
  withUnsyncedHydraNode. Update all call sites in Scenarios, EndToEndSpec,
  ChainObserverSpec, TUISpec, and Bench/EndToEnd accordingly.

Signed-off-by: Sasha Bogicevic <[email protected]>