Add native Python coqchk support to find_bug.py#404

JasonGross merged 1 commit intomasterJasonGross/coq-tools:masterfrom

coqchkJasonGross/coq-tools:coqchkCopy head branch name to clipboard