Add document processing metrics

[anjackson]

Extend the document harvester to register some basic metrics in Prometheus. Note that this is complicated by the fact that document harvesting is associated with given crawls, so are not evenly distributed over time. This makes it hard to design alerts.