Cardano Updates

- 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

Bump iohkNix for blst input update

Also moves UserProvidedEnv type from Testnet.Start.Types into
Testnet.Property.Run (its only consumer) to avoid a name conflict.

Bump: iohkNix and update CI
Update 11.0 to 11.0.0 for CI
Match repo config files with iohkNix for CI
Update peer-snapshots and useLedgerAfterSlot for each environment
cardano-node: use `cardano-ledger-conway >= 1.22.1.0`
chore: bump CHaP, cardano-api ^>=11.0, cardano-cli ^>=11.0
chore: bump bench package versions

bump: iohkNix for exptl hf flag dijkstra/sanchonet/template update

trace-schemas: add namespace-driven schema generation and validation tooling