Fix switch workspace when remixd is activated from the plugin manager#984

yann300 merged 2 commits intomasterremix-project-org/remix-project:masterfrom

fixActivateRemixdremix-project-org/remix-project:fixActivateRemixdCopy head branch name to clipboard