add basic pagination to repository history (#365)
change history pagination to kaminari
add "history of this file/directory" link to the views
integrate history link into breadcrumbs bar
Fixed bug regarding initialization of exception notification.
CSS class container had to be row, here.
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.
Merge branch 'staging' into augmenting365_paginate_repository_history

Conflicts:
	app/views/files/history.html.haml
Deactivate repository action buttons on Ontology#show. Fixes #392.
Quick restyling of format links for ontology. Related to #391.
Merge pull request #403 from ontohub/augmenting365_paginate_repository_history

Paginate repository history
Hide symbols tab with a configuration
Inform that files not containing ontologies are visible in the ontology files tab
Merge branch 'staging' into augmenting349_facilitating_repository_tabs

Conflicts:
	app/views/files/files.html.haml
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.