Add evil keybindings through a idris-mode hook

This fixes #272.
Merge pull request #276 from myrbock/evil-keybindings

Add evil keybindings through a idris-mode hook