Provision Coq on test systems