Put pginfo calls in a separate task group
Add solving and reduction.

TODO: properly integrate in results.
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
Use development version of mCRL2 in the installation.
Use property for ABP, not the one copied from SWP.
Use recursive algorithm to solve PBESs, (not the default small progress measures).

While at it, also fix data recording in exception scenario