Modify Travis script so Eigen is fetched using ExternalProject.