Show the active ArmarX workspace in title of ArmarX Gui

Before:

After:

This now

1. shows the activate ArmarX workspace (useful when working in multiple workspaces) and
2. structurally matches the information in a command line prompt

assigned to @kartmann

enabled an automatic merge when the pipeline for 8afe2788 succeeds

merged

mentioned in commit 0f12780a