Patch 8.3pl2

remove pl5

Add foundations stuff to coq

Add coq 8.3pl5

Update patches

Move to -foundations

Remove coq 8.3pl5-foundations
update makefile
Also make install
Update for agda stats
Add 8.4 foundations as submodule