added README for coq, second try