Python: Colorizing Python Source Using the Built-in Tokenizer