Download coq in the install script