test: LSP server verso tests#699

ejgallego wants to merge 1 commit intoleanprover:mainleanprover/verso:mainfrom

ejgallego:test_lspejgallego/verso:test_lspCopy head branch name to clipboard