Make 8.3pl5 have the right makefile
Add coq-builder
Add Foundations for Coq 8.3
Update Makefile for rezk