zsh: save 10000 lines of history instead of 1000