tokenizer.h: enhance the list of WHITESPACE_DELIMITERS