Added 'sokoban' to gitignore
Merge branch 'Backward' of https://github.com/Klipi/Sokoban-AI into Backward
Includes automatic checker logfiles in gitignore