set proxy for ssh via https (443)。