Nice ssh-agent front-end
