Cardano Updates

Updating glossary entries in line with Kris's suggestions

chore: remove redundant words in comment

Document the default Grafana port and the GRAFANA_PORT environment
variable override.

Signed-off-by: Chris Gianelloni <[email protected]>

Replace the fragile `find dist-newstyle -name ... | head -1` pattern
with `cabal install --install-method=copy --installdir=...` across all
three Dockerfiles. This also fixes the wrong dist-newstyle cleanup path
in Dockerfile.immdb-server (/code/ouroboros-consensus/ vs /).

Signed-off-by: Chris Gianelloni <[email protected]>

This is more widely compatible

Dockerfiles reference files from both demo/ and antithesis/
directories, so the build context must be the repo root.

Signed-off-by: Chris Gianelloni <[email protected]>

- Add `profiles: ["devnet"]` to all proto-devnet services
- Proto-devnet now requires `--profile devnet` to start
- ImmDB remains `--profile immdb`
- Update README with new usage instructions
- Update IP addresses in README for immdb profile

Usage:
  docker compose --profile devnet up      # Proto-devnet
  docker compose --profile immdb up       # ImmDB mock

Signed-off-by: Chris Gianelloni <[email protected]>

Add proto-devnet with 3 block-producing pools as the default setup:
- pool1, pool2, pool3 in mesh topology with real block production
- tx-generator for transaction load testing
- Shared genesis volume for synchronized startup
- Fast 0.1s slots for rapid iteration

Keep existing immdb-server setup under --profile immdb:
- upstream/node0/downstream services moved to immdb profile
- analysis-immdb container for immdb-specific metrics

Signed-off-by: Chris Gianelloni <[email protected]>

Dockerfile and scripts for building cardano-node-leios container
for Antithesis testing:

- Dockerfile.cardano-node: Multi-stage build using Blink Labs base image,
  builds cardano-node from leios-prototype branch with patched
  ouroboros-consensus reference for LeiosDemoDb support
- init-node0.sh: Initializes node0 data directory with leios.db,
  topology.json, and patched genesis paths
- init-downstream.sh: Initializes downstream node connecting to node0
- run-cardano-node.sh: Runtime script with optional WAN emulation
- setup-wan-emulation.sh: tc-based network shaping for local testing

Signed-off-by: Chris Gianelloni <[email protected]>

Leios prototype demo February

Leios design: notes from prototyping

The resource management discussion will be relevant for multiple
sections following it (sizing the storage, discussing alternative forms
of it).

Formal specification of Leios cryptography

Updating glossary entries in line with Kris's suggestions