Update documentation of the VSCode extension

[jiribenes]

The extension is currently not published, so you will have to install it manually by downloading a vsix file. https://effekt-lang.org/docs/getting-started#setting-up-vscode

This is wrong, we already have a published extension: https://marketplace.visualstudio.com/items?itemName=effekt-lang.effekt