Removing Makefile from repo
Added flint2 as a dependency
Removing Makefile from repo
Removing flint2 as dep.