python imap4-utf7 de/encoder