[coq] update snippets
[coq] insert match on C-c C-m
[coq] tweak faces