Added LaTeX support for Idris.
Merge pull request #609 from jfdm/contrib/listings

Simple LaTeX support for Idris.