Add evil keybindings through a idris-mode hook

This fixes #272.