bugfix
Stop crashing when something goes wrong with solvers
Move opening local files to the OSInterface
Dino6 solver: corrections to the pruning engine.
Dino6 solver: pruning version done.
Bugfix; connect MIRR2 to perfect TB-based scrambling.
TablebasesPruning seems to be working now, at least with Cube2.
Progress with TablebasesPruning
PruningTables now support numBits=20,24.Progress with TablebasesPruning.