Added Hits.totalNumberOfDocs()

Just like Hits.size() and .totalSize(), .numberOfDocs() now refers to
the number of separate documents in the retrieved hits, while
.totalNumberOfDocs() refers to the number of documents in all hits
that were counted.
Fixed IndexStructure not always detecting main alternative