Adding more information to BettsCDQT12 dispute.

Hello, I'm an author of this paper. I've added a bit more information about ways to get/build/use GPUVerify in dispute.txt.

Thanks, Nathan