feat(emacs/lean-cmd): add cmd-to-string for SET/EVAL
refactor(lean-variable): init server-buffer and current-file-name with nil
feat(emacs/lean-type): implement lean-set-option and lean-eval-cmd

close #55
refactor(emacs/lean-server): lean-server-check-current-file takes file-name