Dont fix vscoq-language-server version #501
Description
I am currently giving a lecture on Rocq. From my experience I would say we should not give a version for the LSP server for VSRocq. The VSRocq team changes both, VSRocq and the server, frequently in incompatible ways, which then breaks installations.
Since VSRocq is not part of the Platform (maybe it should) I would suggest that we leave the version of the LSP open, so that it just picks the latest version and that rerunning the setup script gets the latest version.