Better integration putty in Clone and Push

Correction of https://github.com/gitextensions/gitextensions/issues/1954