#6: renamed prototype1 to prototype2
#6: removed deprecated tree view
#6: replaced "Disable Highlightings" button by two checkboxes:
one for enabling/disabling your own highlightings, one for other's highlightings
changed your own highlighintings color to yellow, other's to orange (Closes #60)
#6: added explicit button with text 'Start' around Highlighting tool
#6: created page others_highlighting-mouse-over
#6: added several new views showing how user starts highlighting, adds highlightings one by one, stops highlightings, starts creating suspicion from highlighting mouse-over, inspects prefilled suspicion text containing hashtag to the highlighting sHe used to create the new suspicion
#6: added views showing how additional highlightings can be added to a Suspicion in edit-view. Closes #6