Show the current workspace in the menu bar, with a dropdown to change workspace
This is related to #557 (closed) and to https://freexian-team.pages.debian.net/debusine/reference/devel-blueprints/monitor-workflows.html#expected-changes.
Relevant part of the blueprint:
the menu bar shows the current workspace on the top left, just after the “Debusine” link bringing you back to the home page. It should have a drop-down menu to let you switch to another workspace that you have access to.