ssh-agent sharing between bash sessions