Reuse existing parity game files if they are available.

This allows speeding up of incremental experiments.
Add MLSolver, and a set of validity/satisfiability games.
Ignore downloaded/temporary files