zsh: add histignorealldups option