Use user ssh_config if a ProxyCommand is specified (to allow tunnelling)

I wanted to use the shinken user's /home/shinken/.ssh/config file for hosts that need to tunnel SSH via another host first. The following is how I achieved this.