From http://stackoverflow.com/questions/2419566/best-way-to-use-multiple-ssh-private-keys-on-one-client