GitLab

In addition the sliding title bar, I have now removed the TabPicker.
Now, when changing to a new tab, we just go straight there.  Also
put back in Add bookmark in the top level menu.  And fix the bug
where switching tabs was always bringing up the bookmarks.