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.