Fixed a funny bug on request of ontologies by their short URL.
Better repository index and some refactoring.
Display "Ontologies" headline only if not showing a certain ontology.
Merge branch 'develop' of github.com:ontohub/ontohub into develop
Merge branch 'develop' into develop.ontohub.org