better python tokenizer