idris: broken by recent Haskell updates

http://hydra.cryp.to/build/190927/nixlog/1/raw
haskell-cake3: requires optparse-Applicative < 0.10
haskell-packages.nix: drop optparse-applicative override
haskell-time: update to version 1.5
haskell-haxr: compile with latest version of network
haskell-aws: re-generate with cabal2nix
language-c-inline: re-generate with cabal2nix
haskell-auto-update: update to version 0.1.1.3
haskell-html-conduit: update to version 1.1.1.1
haskell-async: update to version 2.0.1.6
haskell-bytes: update to version 0.14.1.1
haskell-c2hs: update to version 0.18.2
haskell-diagrams-contrib: update to version 1.1.2.2
haskell-dimensional: update to version 0.13.0.1
haskell-gloss: update to version 1.8.2.2
haskell-hledger-lib: update to version 0.23.3
haskell-hledger-web: update to version 0.23.3
haskell-hledger: update to version 0.23.3
haskell-hplayground: update to version 0.1.0.5
haskell-hsimport: update to version 0.6