Add command and menu item to specify packages

This is less than perfect, because it lets some junk through, but it's
better than nothing.
Merge pull request #147 from david-christiansen/idris-set-idris-packages

Add command and menu item to specify packages