Merge pull request #1134 from informalsystems/gabriela/language-server-packaging

Package the language server for publishing in NPM

Author: bugarela

vscode/quint-vscode/server/README.md

@@ -0,0 +1,22 @@
+# Quint Language Server
+
+[![npm (scoped)](https://img.shields.io/npm/v/@informalsystems/quint-language-server)](https://www.npmjs.com/package/@informalsystems/quint-language-server)
+
+A language server for the [Quint specification language](https://github.com/informalsystems/quint).
+
+## Installation
+
+Install the [latest published version from npm](https://www.npmjs.com/package/@informalsystems/quint-language-server):
+
+```
+npm i @informalsystems/quint-language-server -g
+```
+
+## Usage
+
+There are currently two clients for this server:
+
+1. The Quint [VSCode extension](https://marketplace.visualstudio.com/items?itemName=informal.quint-vscode)
+2. The [Quint LSP client](https://github.com/informalsystems/quint/blob/main/editor-plugins/emacs/README.md) for Emacs
+
+They are capable of downloading and installing this server for you.