.zsh: improve ssh() function, it was not used in ProxyCommand's ; we now avoid '-F' parameter and hard copy the correct '.ssh/config' file depending on network configuration