[tor-bugs] #16905 [Service - trac]: Rename Metrics Data Processor and Metrics Website Trac components

[Tor Bug Tracker & Wiki]

#16905: Rename Metrics Data Processor and Metrics Website Trac components
----------------------------+---------------------
 Reporter:  karsten         |          Owner:  qbi
     Type:  task            |         Status:  new
 Priority:  normal          |      Milestone:
Component:  Service - trac  |        Version:
 Keywords:                  |  Actual Points:
Parent ID:                  |         Points:
----------------------------+---------------------
 The Metrics portal was split up over a year ago into the user-facing
 Metrics website and the less user-facing data-providing CollecTor website.
 This change should be reflected by Trac components:

  - Metrics Data Processor -> CollecTor
  - Metrics Website -> Metrics

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