djm@ modified usr.bin/ssh/ssh_config.5: mention that ProxyCommand is executed using shell "exec" to avoid a lingering process; bz#1977