replacement of tor spot proxies with our own proxies, to speed up result display

Spot could be slow as we used TOR proxies when querying search engines. With this release, we did configure it with a pool of HTTP proxies by default, which provides faster response times.