A jEdit plugin for the Coq Proof Assistant