feat(emacs/lean-setting.el): add lean-rule-color custom-var
feat(emacs): provide an option to disable lean-flycheck
feat(emacs): add lean-flycheck-turn-on/off/toggle