Tweak zsh history options

Keep a larger history file and share it across sessions.