gitserver: add metric for repo count

Created by: danieldides

Add in metric to show total number of non-deleted git repos.

Co-authored-by: Michael Lin [email protected]

Test plan

1. sg start and sg start monitoring
2. Query grafana
3. Verify the metric value matches the result of this query:

SELECT COUNT(*) FROM repo WHERE deleted_at IS NULL;