Support Eldoc

This shows type signatures in the minibuffer when point is on a variable.
Indentation support for idris- macros

This makes <TAB> work right.
Merge pull request #157 from david-christiansen/eldoc

Eldoc + macro indents