haskell-idris: update to version 0.9.15.1

Done with cabal2nix