update makefile
Also make install
Update for agda stats
Add 8.4 foundations as submodule