monitoring for how many repos are indexed/nonindexed missing

Created by: ijt

See https://sourcegraph.com/github.com/sourcegraph/sourcegraph/-/blob/pkg/search/backend/text.go#L60