Fixed reference errors, and improved idrislang.sty.

`idrislang.sty` now has:

+ idris and literateidris languages.
+ default styes: numbers and default
+ options to use literate and numbers.
+ reduced set of default keywords.