Added small script to replace EigenX with Eigen3