Use emacs state in proof script mode
Remove unneeded key binding for del in idris
Replace evil-leader with paren-state
Use insert state for git-commit-mode