Tokenizes a header value just like MIME.tokenize() , but also converts
encoded words using MIME.decode_word() . The result is an array where
each element is either an int representing a special character,
or an array as returned by decode_word() representing an atom or
a quoted string.