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.