Putty, a windows ssh client