Bump Agda version to 2.3.2.2

I'm pretty sure the version number is just wrong in this expression.