travis.yml: find Eigen