Support for Idris

I've added an '[idris](http://www.idris-lang.org/)' field to delimiterMap