ZSH option "hist_ignore_dups" added