[Checkers] New material for checkers paper

[Michael Ernst]

Mahmood-

> I am conducting case studies now (currently working on the framework  
> and IGJ itself now) for the paper.  I will update the paper with new  
> numbers hopefully by tonight.

That's great, thanks.

For tomorrow, I'm most interested in what new material might be added to the
paper (and will be added to an accompanying technical report).  One example
is discussion of new framework features.  Another example is new case
studies.

                     Thanks,

                    -Mike