Clean up output processing, and add proper memory limits
Merge branch 'master' of https://github.com/jkeiren/pbesstategraph-experiments

Conflicts:
	cases/__init__.py
	cases/equivchecking/__init__.py
	cases/modelchecking/__init__.py
Add debug specification for equivalences