Agda: drop obsolete version 2.3.2.2
Merge pull request #3418 from peti/drop-obsolete-agda-version

Agda: drop obsolete version 2.3.2.2