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