A private-key based putty launcher written in Python