ignore duplicate lines in zsh history