Ticket workspace, task editor and ticket table (PR #211-#213): user pages, developer guides, the review, design page marked built; Contributing, Inbox.js, Tasks on tickets, saved views (now six tables), REST, tests, settings and preferences updated