fix(emacs): add and use lean-string-join
feat(emacs/lean-server.el): add lean-server-{kill,restart}-process

[skip ci]