eigen 3.2.3

Also install the CMake module mentioned in #35225