inside a workspace, menu bar has a "Workflows" menu

See #557 and https://freexian-team.pages.debian.net/debusine/reference/devel-blueprints/monitor-workflows.html#expected-changes

This probably requires !1428 (merged) as a prerequisite for the target view of the Workflows nav button