Make vim Coq bindings work in insert mode