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.
trifecta: try a jailbreak on comonad