Merge pull request #409 from ontohub/correcting394_hiding_symbols_tab

Hide symbols tab with a configuration
Merge pull request #410 from ontohub/augmenting349_facilitating_repository_tabs

Aacilitating repository tabs. Fixes #349.
Allow using the ontology search as filter of ontologies
Merge branch 'augmenting318_listing_ontologies_for_repositories' into develop
Merge branch 'develop' into develop.ontohub.org