GigaToken：比 HuggingFace 快 1000 倍的模型分词器