Install Eigen-3.1.2 in Travis build script.