A DockerFile and other bits to build a GPUVerify docker container