haskell-idris: update to version 0.9.15.1
Merge pull request #4723 from mstarzyk/idris

haskell-idris: update to version 0.9.15.1