Major mode for ipkg files

Features include:
 * Finding the package for an Idris file automatically by recursive upward search
 * Building, cleaning, and installing packages from inside Emacs
 * Syntax highlighting for packages