Rename sokodan-p2.pddl to sokoban-p2.pddl