Tweaked opencl.cat for definition of barrier divergence.
Added less-than-or-equal and greater-than-or-equal as herd operators.
Added litmus tests for four-in-a-row.