Prebuilt language server on Ubuntu is reportedly having some linking problems (see https://github.com/banacorn/agda-mode-vscode/issues/68#issuecomment-938044062). We should bundle DLLs on Ubuntu like we do on Windows and [macOS](https://github.com/banacorn/agda-language-server/issues/5)