formatting
Merge branch 'master' of https://github.com/milseman/sokoban.git
Deadlock patterns are written to a seperate file when generated and read
in before the actual execution.