Check for Eigen in CMakeLists.txt and define Matrix in AST