Ignore duplicate entries in zsh history