IntelliJ IDEA plugin for Coq language