Extension VS Code to render Lean file

Stream: new members

[Gabriel Soranzo]

Hi,
I've created a basic VS Code extension to display Lean files in Markdown and view them in VS Code's Markdown viewer. You can download it here. This may not be the ideal place to write it, but I can't think of a better place. Hope it's usefull for somebody.

[Shreyas Srinivas]

It would help if you include screenshots in the README