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