add local copy of Eigen, version 3.1.3