praefect['separate_database_metrics'] will put praefect metrics that run
queries on the database on a separate /db_metrics endpoint so that
customers can choose to configure a slower scrape interval. Also, with a
multiple Praefect setup, customers can configure only one Praefect node
to query the database.

Also add /db_metrics prometheus metrics to the gitaly/index.md.