Create coq.php

coq langage http://coq.inria.fr