feat(emacs/lean-option): save lean-options to lean-global-option-alist
fix(emacs/lean-mode): pass lean-options to lean-execute

Related issue: #196
feat(emacs/lean-tags): add lean-global-search

close #170
test(emacs): add lean-option-test
fix(emacs/lean-mode): disable flycheck-lua inside of lean-mode