A user-friendly front-end to ssh-agent(1)