Add a Coq syntax checker
Provision Coq on test systems