Allows the certificates Gappa generates to be imported by the Coq
https://gappa.gitlabpages.inria.fr/