lsp-mode now lets clients specify download-server-fun which can be used to automatically install the server. We have static binaries so we should be able to do this. We can probably do the same thing as the vscode extension.