IMAP to IMAP migration with ImapSync and a quick PHP script (howto)