zshrc: better handling of ssh-agent