Bump agda to 2.4.2.2
Bump diagrams-contrib to 1.1.2.4
Bump diagrams-postscript to 1.1.0.3