sync_maildirs.sh: add --delete option. Refs #2884