Make keybindings follow Emacs conventions better

C-c <letter> is reserved for user commands. Remove idris-ipkg-mode bindings from these.