Added "failed rmw" flag to OpenCL semantics. A failed compare_exchange creates just a "read" event, and it is helpful in the formal proofs to be able to track which reads have been created in this way. So all reads now have a boolean flag to record this.

I also improved the syntactic support for atomic_compare_exchange, and its friends, in litmus tests.