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.