Added syntax checker for coq.
Merge pull request #596 from supki/syntax-checker-coqtop

Added syntax checker for coq.