Add syntax highlighting for Literate Idris.

This is just a minimal adaption of Haskell's syntax highlighting for literate Haskell with Bird tracks.