public long getDocs() {
        return docs;
    }
Returns the number of documents searched for this result. If the final result
set is produced through several queries, this number will be the sum
for all the queries.
container-core/src/main/java/com/yahoo/container/handler/Coverage.java