favorite SSH client is not limited to PuTTY

https://github.com/mitchellh/vagrant/pull/3877

Followed the guide to make a separate branch.