Use Doxygen 1.9.8

This is the version shipped with Ubuntu 24.04.

Author: tautschnig

scripts/run_doxygen.sh

@@ -3,7 +3,7 @@
 echo "Running doxygen version $(doxygen --version)"
 
 # Check doxygen version
-EXPECTED_VERSION="1.9.1"
+EXPECTED_VERSION="1.9.8"
 doxygen --version | grep ^$EXPECTED_VERSION > /dev/null
 if [ $? -ne 0 ]
 then