Include hippophp/tokenizer rather than using ext-tokenizer