performance: for getting the hit counts, do not use hit collector of Lucene but the index reader terms directly

Currently, a hit collector is used to count for faceted navigation. This scales linearly with the number of hits. For increasing document numbers, this becomes to slow. We have to replace it with by looking at the terms and overlap these bitsets with the hits. This scales as the number of unique facets normally doesn't grow that fast