Cardano Updates

Had to add a constraint to cabal.project. The latest version of
the happy parser errors out when compiling hackell-src-exts.

A lower bound on microlens was introduced.

Had to add a constraint to cabal.project. The latest version of
the happy parser errors out when compiling hackell-src-exts.

Before version 0.5 of microlens, an Internal module was being used.
Now we switch to a module that is explicitly part of the microlens
API.

A lower bound on microlens was introduced.

Refactor transaction and transaction body of examples in Test.CardanoLedger.<era>.Examples.hs.

Allows to decode normal blocks as "inline txs" blocks in the
Leios-enabled world. This is useful to replay old praos blocks and be
able to still decode them in this (hackily patched) era.

Refactor such that each example from an era is build on top of the
example of the previous era.

Allows:
* reduced duplication
* each example of each era has most fields set with values

Update block and tx cbor golden files given changes in the block and
transation content.