Add initial Commentary section to idris-mode.el

RE issue #26
fix typo
Support yasnippet

Idris-mode now dynamically generates yasnippet snippets from the code
bits that it receives from the compiler, enabling tabbing between the
fields that need filling.