Revert "haskell-idris: update to version 0.9.9.3"

This reverts commit b258b45a4f2c9034ac8458e428601f81387d028e.