[coq] do not set intros names in snippets
[coq] snippets
[coq] disable coq flycheck checker