script to use one ssh-agent for all shells