gradle: Be able to fetch Eigen if it's not found on the system.

24 jobs for fetch-eigen in 9 minutes and 5 seconds (queued for 3 seconds)