Add interactive Idris commands to menu

This improves discoverability and helps out users who are new to
Emacs. It was requested by someone in person the other day.
Merge pull request #53 from david-christiansen/more-menu

Add interactive Idris commands to menu