[testing] Server testing

[ejgallego]

See https://code.visualstudio.com/api/language-extensions/language-server-extension-guide#testing-the-language-server for more information, we should add server tests.