SSH config: Use port 443 for ns1.shore.co.il.

New development, use the HTTPS port! Allows to break through firewalls
and restricted networks.

.ssh/config.d/20_shore

@@ -2,8 +2,11 @@
 # vim:ft=sshconfig
 # shore.co.il infrastructure
 
+Host ns1.shore.co.il
+    Port 443
+
 Host host01.shore.co.il kodi.shore.co.il ea6350.shore.co.il git.shore.co.il
-    ProxyCommand ssh ns1.shore.co.il -W %h:%p
+    ProxyCommand ssh -p 443 ns1.shore.co.il -W %h:%p
 
 Host host01.shore.co.il ns4.shore.co.il
     LocalForward 9090 localhost:9090