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