haskell-idris: update to version 0.9.15