Add recipe for helm-idris
Merge pull request #1866 from david-christiansen/master

Add recipe for helm-idris