A tool for copying a remote IMAP mailbox to a local Maildir++