Let users search for ontologies by symbol name in repositories
Merge branch 'correcting309_restricting_ontology_search_to_repository' into develop
Merge branch 'develop' into develop.ontohub.org