front-end to ssh-agent
