zsh: change history size