integrate history link into breadcrumbs bar
Merge branch 'augmenting_add_history_link_from_files_and_dirs' into develop
Merge branch 'develop' into develop.ontohub.org