Filter an IMAP mailbox using (e.g.) procmail