Add syntax highlighting for Literate Idris.
Merge pull request #8 from walkie/lidris

Add syntax highlighting for Literate Idris.