Add command for restarting the query server.#244

jcreedcmu merged 4 commits intogithub:mastergithub/vscode-codeql:masterfrom

jcreedcmu:jcreed/restart-query-serverjcreedcmu/vscode-codeql:jcreed/restart-query-serverCopy head branch name to clipboard