Rename sokodan-p3.pddl to sokoban-p3.pddl