add reset button and improve style/view
replace 'Home' by repo name in breadcrumbs
add notice on editing mode
move edit button to breadcrumbs bar
Merge branch '23-codemirror_integration' into develop
Merge branch 'develop' into develop.ontohub.org