add "history of this file/directory" link to the views
integrate history link into breadcrumbs bar
Fit help texts inside repo in bootstrap grid and fix crash in history of empty repo.
Merge branch 'staging' into augmenting_add_history_link_from_files_and_dirs
Save some characters (aka. cosmetics).
Merge pull request #402 from ontohub/augmenting_add_history_link_from_files_and_dirs

Add history link from files and dirs
Deactivated brittle test and wrote some prose to explain why.
Deactivate repository action buttons on Ontology#show. Fixes #392.
Quick restyling of format links for ontology. Related to #391.
Merge branch 'staging' into staging.ontohub.org