Add metric to measure non-filecoin providers

[masih]

Periodically compare the list of OK filecoin provider IDs with the list of total known providers from an indexer and report the number of IDs that are not in the filecoin provider list.