support type-at-point, stealing some elisp from david
Merge pull request #18 from hannesm/master

support type-at-point, stealing some elisp from david
implement case splitting
implement adding a clause
support add-missing, make-with-block and proof-search
support for add proof clause
support for log messages from idris, show up in a different buffer (*idris-log*)

fixes #20 (at least partially, more work needs to be done on idris side to avoid Debug.Trace.trace)
forgot some stuff for logging purposes