Eigen refresh

Bump Eigen to 3.1.3