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