Fix repository ontology search by symbol name
Index ontologies with solr
Make global search use solr
"Improve" selection of names
Index all queried labels