Agda: upgrade to 2.4.0

I did not test this on master as I keep al my boxes on 14.04. I did eyeball the haskell changes on master and adjusted my commits accordingly, so I think it should be fine.

Cabal2nix's postInstall hook will receive its own pull request.