Rename sokodan-p4.pddl to sokoban-p4.pddl