Make probe for Eigen3 part of the common build system

If opm-autodiff is here to stay and there is a commitment to using Eigen3 (there is already a copy of it on GitHub), then this patch incorporates the changes done in opm-autodiff into the common source tree.