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.