Coq LSP VSCode client

This is an experimental, pure-LSP client for Coq.

You will need to install the server:

opam install coq-lsp

Only Linux and OSX are supported for now; Windows support is hopefully coming soon.