whonix_gateway/etc/tor/torrc.examples: added notion, that proxy IP instead of proxy hostname has to be used. #94