feat(query): Make `BooleanQuery` supports `minimum_number_should_match`

[LebranceBW]

see issue #2398

In this commit, a novel scorer named DisjunctionScorer is introduced, which performs the union of inverted chains with the minimal required elements. BTW, it's implemented via a min-heap. Necessary modifications on BooleanQuery and BooleanWeight are performed as well.

[fulmicoton]

@LebranceBW don't forget to reapply for review once you have added the requested changes

[LebranceBW]

@fulmicoton I've done above requested changes, and BooleanWeight::complex_scorer has some heavy modification, and I'd say it's a bit messy. Could you help me on it?

[fulmicoton]

@PSeitz can you help @LebranceBW and take over the code review?

[LebranceBW]

@PSeitz Could you help take a review for this PR? Thanks a lot.

[LebranceBW]

@PSeitz Sorry to interrupt your work, but I wanna know this PR could be push forward again?

[LebranceBW]

@PSeitz Sorry to interrupt your work, but I wanna know this PR could be push forward again?

[PSeitz]

@PSeitz Sorry to interrupt your work, but I wanna know this PR could be push forward again?

@LebranceBW I left a comment to simplify the code regarding FullIntersection

[LebranceBW]

@PSeitz Sorry to interrupt your work, but I wanna know this PR could be push forward again?

@LebranceBW I left a comment to simplify the code regarding FullIntersection

@PSeitz FullIntersection already removed.

[LebranceBW]

@PSeitz May this PR could be push forward again?

[PSeitz]

Thanks @LebranceBW for the PR!

[lnx]

👍🏻