Coq plugin for Netbeans