Bump agda to 2.3.2.1
Bump agda-stdlib to 0.7
Force a rebuild of agda-executable-2.3.0.1-r2 as this seems to be required with agda-2.3.2.1 to fix the error: File mode specification error: error The Agda mode s version 2.3.2.1 does not match that of agda 2.3.2.