Commit from dimp
Merge branch 'master' of https://github.com/dimpavlorg/Sokoban_solver.git