Add Idris
Merge pull request #4149 from ndr-qef/idris-lang

Add Idris