Coq language support for the Atom editor