Update documentation toolchain so that it compiles again #1063

Job	Run time
Enforce Tidyness	1m 7s
Test Tidy Enforcement on macOS	5m 25s
Tests (clang++, test-native-regular)	1m 55s
Build Docker Image	2m 32s
Tests (clang++, test-native-fulldebug)	1m 39s
Web Tests	5m 40s
Tests (clang++, test-native-opt)	1m 35s
Measure Test Coverage	1m 37s
Tests (clang++, test-examples)	9m 10s
Tests (clang++, test-demos)	2m 42s
Tests (g++, test-native-regular)	28m 30s
Tests (g++, test-native-fulldebug)	30m 18s
Tests (g++, test-native-opt)	44m 56s
Tests (g++, test-examples)	8m 54s
Tests (g++, test-demos)	2m 45s
Test Documentation Build	0s
Deploy to DockerHub and ghcr.io	0s
	2h 28m 45s

Provide feedback