travis.yml: Adding eigen3