Make the coverage tool rely on the specref db.
Merge pull request #344 from tobie/coverage-tool-updates

Make the coverage tool rely on the specref db.