Merge pull request #85 from david-christiansen/master

Add note about `idris-interpreter-path`
Merge pull request #86 from david-christiansen/master

Move things around to create a strict dependency order
Add mouse commands to semantic highlights
Merge pull request #88 from david-christiansen/id-popups

Popup menus for semantically highlighted Idris text
might fix #76 by removing all the flet
Merge pull request #90 from hannesm/no_flet

might fix #76 by removing all the flet
Add support for new-style docstrings in font-lock