Add coq 8.3pl5
Update patches
Move to -foundations
Update for agda stats