fix(emacs/lean-mode.el): remove quotation marks in lean-execute

Close #294
fix(emacs/lean-mode.el): remove quotation marks in lean-execute