Add scripts for analysing results.

* plot.py can be used to plot a case where 'datasize' varies (needs R)
* prune_results.py produces a file in which only those cases on which there is a
  difference between parelm and stategraph are present. With -v
  it will print which cases are included in the resulting yaml file.
Add two negative equivalence checking cases.