add counts to DO-tabs

Add counts of the given ontologies for the ontology and
distributed ontology tabs in logics#show.