Opera Extension that creates a proxy for TOR and protects users against some attacks and trackers