Use nix flakes

[ch1bo]

This PR is on top of #625 and tries to get it built by both, our Github CI and the cicero CI.

❄️ Keeps the std/tullia/cicero things untouched from #625

❄️ Embrace nix flakes and define packages and devShells in a canonical way. This also includes migration of our default.nix, shell.nix and release.nix to work with flake inputs (kept the pins for now).

❄️ Updated instructions and github workflows to use nix build and nix develop instead.

• make it green
• CHANGELOG is up to date
• Give an introduction session

[github-actions]

Test Results

266 tests  ±0   260 ✔️ ±0   16m 20s ⏱️ + 3m 8s
  92 suites ±0       6 💤 ±0 
    4 files   ±0       0 ❌ ±0 

Results for commit dfc7582. ± Comparison against base commit 193d15b.

♻️ This comment has been updated with latest results.

[github-actions]

Transactions Costs

Sizes and execution budgets for Hydra protocol transactions. Note that unlisted parameters are currently using arbitrary values and results are not fully deterministic and comparable to previous runs.

Metadata
Generated at	2022-12-15 11:00:52.457754119 UTC
Max. memory units	14000000
Max. CPU units	10000000000
Max. tx size (kB)	16384

Cost of Init Transaction

Parties	Tx size	% max Mem	% max CPU	Min fee ₳
1	4833	9.56	3.77	0.47
2	5037	11.92	4.69	0.50
3	5241	15.27	6.02	0.55
5	5653	17.57	6.86	0.59
10	6678	27.81	10.81	0.75
46	14060	99.31	38.37	1.85

Cost of Commit Transaction

Currently only one UTxO per commit allowed (this is about to change soon)

UTxO	Tx size	% max Mem	% max CPU	Min fee ₳
1	576	20.61	8.36	0.40

Cost of CollectCom Transaction

Parties	Tx size	% max Mem	% max CPU	Min fee ₳
1	13058	20.68	8.29	0.95
2	13379	36.33	14.71	1.14
3	13701	54.93	22.41	1.36
4	14096	77.72	31.88	1.63
5	14237	97.95	40.35	1.86

Cost of Close Transaction

Parties	Tx size	% max Mem	% max CPU	Min fee ₳
1	9327	8.19	3.36	0.65
2	9492	8.97	3.81	0.67
3	9694	10.14	4.42	0.69
5	9656	9.43	3.68	0.68
10	10913	16.53	7.94	0.82
30	14186	32.05	16.94	1.16
69	16101	40.66	15.39	1.30

Cost of Contest Transaction

Parties	Tx size	% max Mem	% max CPU	Min fee ₳
1	9330	8.16	3.34	0.65
2	9526	9.38	3.96	0.67
3	9658	9.72	4.24	0.68
5	10027	11.86	5.37	0.73
10	10883	16.01	7.73	0.81
30	14226	32.60	17.14	1.16
43	16331	41.97	22.71	1.37

Cost of Abort Transaction

Some variation because of random mixture of still initial and already committed outputs.

Parties	Tx size	% max Mem	% max CPU	Min fee ₳
1	13709	25.78	10.93	1.04
2	13605	34.02	14.28	1.13
3	13997	54.34	23.13	1.37
4	14682	88.63	40.16	1.80
5	14218	89.74	38.46	1.78

Cost of FanOut Transaction

Involves spending head output and burning head tokens. Uses ada-only UTxO for better comparability.

UTxO	Tx size	% max Mem	% max CPU	Min fee ₳
1	13484	10.26	4.46	0.86
2	13519	11.78	5.34	0.88
3	13622	14.08	6.53	0.91
5	13624	16.34	7.98	0.94
10	13744	23.57	12.23	1.03
50	15315	85.26	47.74	1.86
60	15541	99.74	56.26	2.05