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
put history into .idris directory, which is created by idris anyways
remove unneeded function string-no-properties
 (substring-no-properties without FROM and TO has the very same effect)
cleanup imports
rename idris-log-event to idris-event-log for clarity, now that we have idris-log
fix warning span
only kill buffers if process was killed
fix error reporting: on empty line insert a whitespace to have something for the overlay
display condition from idris when synchronous evaluation fails
only do evaluation if there's something at point; also do loading of file only if there's something at point
added link to pdf
actually add missing cases into buffer
inserted some more documentation
Add autoload cookies & URL header
Merge pull request #22 from purcell/patch-1

Add autoload cookies & URL header