gitserver: add user agent to metrics for number of AddrForRepo hits

Created by: sashaostrikov

This metric is needed to estimate how many requests are coming from which services. Estimates will be used to design AddrForRepo calls batching (because every call will result in DB query and our services should not overwhelm the DB with a huge number of RPS)

Test plan

Tested locally, metrics are saved and can be queried