ssh_mit_putty

• rename to ssh_with_putty
• Update from deimos