Add keybindings for package operations

Now, idris-mode proper has keybindings for package operations.