io.encodings.utf7: implementation of decoding for new codec utf7
io.encodings.utf7: better encoding using the group-by combinator
io.encodings.utf7: decoder implementation, doesn't support utf7imap4 yet