highlight code examples in README using the idris lexer (instead of the haskell one)