Snapshot of Eigen3 for convenience of building opm-autodiff