Add Idris lexer to Idris language.

It is now in the Pygments repo at HEAD, so whenever GitHub gets that update, this should "just work."