more robust: always package;

--- a/src/Tools/VSCode/src/build_vscode.scala	Fri Jun 30 13:19:24 2017 +0200
+++ b/src/Tools/VSCode/src/build_vscode.scala	Fri Jun 30 13:21:47 2017 +0200
@@ -36,7 +36,7 @@
     progress.echo(output_path.implode)
 
     progress.bash(
-      "npm install && npm update --dev && vsce " + (if (publish) "publish" else "package"),
+      "npm install && npm update --dev && vsce package" + (if (publish) " && vsce publish" else ""),
       cwd = extension_dir.file, echo = true).check
   }