fix(emacs/lean-option): fix lean-get-options
fix(emacs/lean-option): fix lean-get-options