Phrase Query Top N Pruning

[PSeitz]

Potential pruning optimization for phrase queries:
The score of a phrase query is defined by how often a phrase occurs in a document (term_freq is equal to phrase_count).
Once we have K (>=2) phrase_count in the Top N, we could fast skip if not all terms have at least K occurrences in the doc.