idris-mode: upgrade to current version
idris: no longer depends on old versions of trifecta and parsers
haskell-trifecta: remove old versions
haskell-parsers: remove old versions