Fix computation of explanations for AllTermQuery.

With this commit, numMatches is now updated in `setFreqCurrentDoc` and `sloppyFreq` is used instead of `freq` to compute the score of the explanation.