wrapper around PHP's tokenizer extension
