Agda: update to 2.3.2.2.

This update also fixes the build errors on hydra that were caused by
an incompatible version of haskell-src-ext.

Close #1153.
haskell-trifecta: try a jailbreak on comonad
haskell-trifecta: bring back 1.1 for idris
haskell-parsers: bring back 0.9 for idris