Make the coverage tool rely on the specref db.

This change makes it easier to keep the coverage meta-data (spec status, notably) up to date.