[tor-bugs] #25287 [Metrics/Website]: update URL for TorDNSEL

[Tor Bug Tracker & Wiki]

#25287: update URL for TorDNSEL
---------------------------------+--------------------------
     Reporter:  cypherpunks      |      Owner:  metrics-team
         Type:  defect           |     Status:  new
     Priority:  Medium           |  Milestone:
    Component:  Metrics/Website  |    Version:
     Severity:  Normal           |   Keywords:
Actual Points:                   |  Parent ID:
       Points:                   |   Reviewer:
      Sponsor:                   |
---------------------------------+--------------------------
 https://metrics.torproject.org/collector.html#exit-lists

 links to
 https://dist.torproject.org/tordnsel/
 which has a version from 2007

 lets replace the url with (from 2016-05-04):
 https://gitweb.torproject.org/tordnsel.git/tree/README

 link Tor check to
 https://gitweb.torproject.org/check.git

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/25287>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online