[coq] set cheat faces
[coq] snippets
[coq] set compile command
[coq] annotation faces