provide idris-kill-buffer which kills the buffer if alive
provide 'q' as keyboard shortcut to destroy the notes; also some cleanups
use idris-kill-buffer
do not use view-mode, since it shadows q - additionally, use idris-kill-buffer
move idris-kill-buffer to idris-common-utils
Merge pull request #55 from hannesm/minor-fixes

Minor fixes