fix(emacs/lean-server): use process-query-on-exit-flag to kill
lean-server automatically on exit

To fix a problem mentioned in #147
fix(emacs/lean-server): use process-query-on-exit-flag to kill lean-server automatically on exit