Clean up intermediate files
Merge branch 'master' of https://github.com/jkeiren/pbesstategraph-experiments
Clean some cluttering from output data.
Allow check-results to cope with failure cases.

Here failure means failure to generate the original PBES.
Provide more meaningful error messages in case tools fail.