pts/build-eigen-1.2.0 - 17 November 2024 - Update against Eigen 3.4 upstream, use CMake doc build target for allowing build in parallel.