Rename schokoban_domain.dl to sokoban_domain.dl