add vscode-dts-compile-check to ensure that vscode.d.ts is self-contained, esp that it doesn't depend on vscode.proposed.d.ts, and that uses es5 only