Add Eigen (close #13).