weird behaviour with ext/tokenizer and heredoc

Hello, when playing around with ext/tokenizer, I found a weird behaviour with the T_END_HEREDOC token. I got "FOO;;" instead of the expected "FOO" as token. As a consequence I wrote a patch for the Zend Engine that should fix ext/tokenizer and makes the special stuff for T_END_HEREDOC in zend_highlight.c unnecessary. I tested my changes all over but as I'm not really sure if I didn't break something, I did a second patch for ext/tokenizer to fix T_END_HEREDOC and leave the Zend Engine untouched.