17: publish pool metadata stats.

Adds metrics for size, pg_num and pgp_num per pool. Useful to get the
evolution over time, and to use these values in calculations in the
dashboards.

Fixes #17.