Added syntax checker for coq.