copy of Eigen, for including as a git submodule