Corrects required version and make Eigen3 download work.

this is just the core version of OPM/opm-autodiff#77 . If you'd like to avoid a horrible mess, please open a PR for core _before_ merging the original PR next time.