LUCENE-2680: print to infoStream upper bound on how many docIDs we deleted; useful for seeing false deletes