Different agents and different keys for different projects, with ssh.
Moved to https://github.com/ssh-ident/ssh-ident1