[dashboard] misc dashboard improvements#3496

svenefftinge merged 3 commits intodashboard-v2gitpod-io/gitpod:dashboard-v2from

se/misc-dashboardgitpod-io/gitpod:se/misc-dashboardCopy head branch name to clipboard