Support other forms of "Proof" in coqwc. (Fix for bug #2735)