add publishing script to package.json

Author: gares

package.json

@@ -58,9 +58,12 @@
 		"type": "git",
 		"url": "https://github.com/LPCIC/coq-elpi-lang.git"
 	},
+	"scripts": {
+		"deploy": "vsce publish"
+	},
 	"__metadata": {
 		"id": "f110bf02-4c98-48f1-9c82-967ca47fdbd9",
 		"publisherDisplayName": "Enrico Tassi",
 		"publisherId": "a31c90d1-39d0-4553-b020-dd47cff7daf8"
 	}
-}
+}