zsh: Ignore dups in pushd