HubGrep Indexer

The indexer is the backend for the various repository crawlers.

It distributes the ids of the repositories that we need to fetch to the crawlers, and collects the results. Everytime a hoster is finished, it generates an export of the data, so that HubGrep Search can fetch this as an update for its search index.