WinGit: Optionally use a user provided PLink (PuTTY) instead of OpenSSH