Visual design for hidden workspaces

Created by: eseliger

We need to implement a similar pattern for workspaces of an execution as we already have for changesets: when a user views an execution where they don't have access to a subset of repositories, those should be hidden in the UI, but not just omitted.

This could be as simple as

"Workspace in hidden repo" instead of the repo name and some info on the details panel.