[lsp] support for Emacs

It would be nice to add some tips for using why3find lsp in Emacs. Proposition:

• Short entry in the README.md
• Sample emacs/why3find.el code