VSCode README update (#96)

* progress bar

* minor

* fix progress bar update

* edits

* feedback/edits

* minor fixes to progress bar+readme

* readme update

* feedback?

* update from comment

README.md

@@ -4,6 +4,9 @@
 
 In addition to implementing the C# frontend, we contributed our [language-agnostic serialization layer](https://github.com/microsoft/infersharp/wiki/InferSharp:-A-Scalable-Code-Analytics-Tool-for-.NET#language-agnostic-representation-of-sil) ([Commit #1361](https://github.com/facebook/infer/commit/285ddb4a98f337a40d61e73b7a0867e44fa4f042)) to facebook/infer, which opens up opportunities for [additional language support](https://github.com/microsoft/infersharp/wiki/InferSharp:-A-Scalable-Code-Analytics-Tool-for-.NET#overview) in the future.
 
+<mark>**New: InferSharp is now available as a VSCode extension**</mark> (Visual Studio integration coming soon). [Try it out](https://marketplace.visualstudio.com/items?itemName=matthew-jin.infersharp-ext)!
+![Demo](https://github.com/matjin/infersharp-extension/blob/master/images/extension_text.gif?raw=true)
+
 ## Public Announcements
 - [InferSharp v1.2 Blog](https://devblogs.microsoft.com/dotnet/infer-v1-2-interprocedural-memory-safety-analysis-for-c/)
 - [InferSharp v1.0 Blog](https://devblogs.microsoft.com/dotnet/infer-interprocedural-memory-safety-analysis-for-c/)
@@ -15,6 +18,10 @@ In addition to implementing the C# frontend, we contributed our [language-agnost
 
 The latest version is ![GitHub release (latest by date including pre-releases)](https://img.shields.io/github/v/release/microsoft/infersharp?include_prereleases). Please refer to the [release page](https://github.com/microsoft/infersharp/releases) for more information on the changes.
 
+### VSCode Extension
+
+Please see [here](https://marketplace.visualstudio.com/items?itemName=matthew-jin.infersharp-ext) to use InferSharp in VSCode.
+
 ### Windows Subsystem for Linux
 The instructions can be found [here](/RUNNING_INFERSHARP_ON_WINDOWS.md).