Adding the eigen library