extension - we want types from vscode-lean4

[lakesare]

We'd quite like types for https://github.com/leanprover/vscode-lean4, but they don't have this package on npm & can't download from github (maybe needs to be done in some other way).
Maybe we could create an issue asking them to expose the types/package.

---

These types