Rename sokodan-domain.pddl to sokoban-domain.pddl