zsh: setopt hist_ignore_all_dups