feat: add a workspace menu

Baptiste Rousseau requested to merge workspace_switcher into dev Apr 16, 2024