Show HN: TokenDagger – A tokenizer faster than OpenAI's Tiktoken