feat(tket2-hseries): cli extension dumping #1987

Job	Run time
Check for changes	5s
Build benchmarks 🏋️	3m 46s
Check Python code 🐍	2m 5s
tests (Rust nightly, coverage)	1m 48s
Check Rust code 🦀	1m 27s
tests (Python)	2m 8s
tests (Rust 1.75)	1m 50s
tests (Rust stable, all features)	1m 29s
tests (Rust stable, no features)	1m 27s
tests (Rust beta)	1m 56s
Check standard extensions	57s
Upload Python coverage 🐍	10s
Required checks 🦀+🐍	1s
	19m 9s

Provide feedback