Added fixed Sokoban Domain and related files