Add syntax highlighting for Literate Idris.