Separator (informatyka)