Merge #807

807: Specify vscode 1.31 r=matklad a=kjeremy

This is for #796 

It doesn't seem to fix the problem if you manually install the extension but it is the "right thing to do".

Co-authored-by: kjeremy <kjeremy@gmail.com>

Author: bors[bot]

editors/code/package.json

@@ -13,7 +13,7 @@
         "Other"
     ],
     "engines": {
-        "vscode": "^1.30.0"
+        "vscode": "^1.31.0"
     },
     "scripts": {
         "vscode:prepublish": "npm run compile",