Popup menus for semantically highlighted Idris text

Now, semantically highlighted Idris text has a context menu that demonstrates when type and documentation information is available.

This includes and obsoletes #87. Sending separately just in case it's too much.