Initial server-side session ticket support #204

Job	Run time
Clippy	55s
Clippy nightly (optional)	34s
Build+test (stable, ubuntu-24.04)	2m 42s
Clang Tidy	16s
Build+test (stable, ubuntu-22.04)	2m 7s
Check for documentation errors	1m 21s
Build+test (beta, ubuntu-24.04)	3m 34s
Format	9s
Build+test (beta, ubuntu-22.04)	2m 16s
Miri	1m 14s
Build+test (nightly, ubuntu-24.04)	2m 26s
Packaging	2m 44s
Valgrind	3m 29s
Build+test (nightly, ubuntu-22.04)	1m 45s
	25m 32s

Provide feedback