Bookmarks feature

Add support for bookmarks. How this works:

• There's a special panel listing current bookmarks
• This panel also has a button to [un]bookmark the currently displayed document

Needs:

• Quick access to the documents that the user didn't finish editing (and reminder) or reading (for long articles)
• Quick links to documents of interest (like the wiki syntax, or the list of company phone numbers)