Optimized handling of per-document results.

* DocResults retrieves results incrementally from Hits if possible, so
we don't retrieve Hits we'll never use
* Changed DocResults interface to prefer iteration, for efficiency
(getResults() method deprecated)
* Hits keeps track of number of docs when constructed from a SpanQuery