Link to the Coq repo updated