Show the active ArmarX workspace in title of ArmarX Gui

Rainer Kartmannrequested to merge
show-armarx-workspace-in-gs into master

Before:

image.png

After:

image.png

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

Merge request reports