Extend benchmarks.

* Added a number of equivalence checking cases.
* Parameterised all model checking cases.
* Fix a few small mistakes
Merge branch 'master' of https://github.com/jkeiren/paritygame-generator
Put pginfo calls in a separate task group
Add solving and reduction.

TODO: properly integrate in results.
Clean up equivalence checking getcases function.
Add reduction and solving algorithms (work in progress).

TODO:
* Debug parsing of parity game files in pbespgsolve
Merge branch 'wip/besconvert' of github.com:jkeiren/paritygame-generator into wip/besconvert

Conflicts:
	cases/__init__.py