[travis] Make sure Travis install Eigen 3.2.0