Add "Restart Server" command to VSCode extension#168

KyrylR merged 2 commits intoBlockstreamResearch:masterBlockstreamResearch/SimplicityHL:masterfrom

distributed-lab:vscode/commanddistributed-lab/SimplicityHL:vscode/commandCopy head branch name to clipboard