Update from theia trace extension#4

bhufmann merged 3 commits intomastereclipse-cdt-cloud/traceviewer-libs:masterfrom

update-from-theia-trace-extensioneclipse-cdt-cloud/traceviewer-libs:update-from-theia-trace-extensionCopy head branch name to clipboard