Bind <C-n> in insert mode to :CoqNext
Make all bindings buffer-local for coq
Better dir ignoring