Use Eigen 3.2.0 in Travis