Use older Z3 (4.3.1) because GPUVerify doesn't work with 4.3.2

Also explicitly specify the versions of GPUVerify components to use.
The reason for doing this is so when we want the image in Docker to be
updated then we can update the Docker file to use the newer revisions
and this will trigger a rebuild of the image.