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 branch 'augmenting349_facilitating_repository_tabs' into develop
Merge branch 'correcting394_hiding_symbols_tab' of github.com:ontohub/ontohub into develop
Merge branch 'develop' into develop.ontohub.org