Mark Eigen as dependency

Marcus Mohrrequested to merge
mohr-master-patch-81519 into master

Since we can no longer built without Eigen, it no longer belongs in the "optional" section

Merge request reports