Add a major mode for .ipkg files
Add completion to idris-ipkg-mode
Find the ipkg file automatically
Add major mode for Idris build buffers

This gives a keymap for quitting with q
Menus and keybindings for ipkg
Add keybindings for package operations

Now, idris-mode proper has keybindings for package operations.
Merge pull request #108 from david-christiansen/idris-ipkg-mode

Major mode for ipkg files