fix(lean-flycheck): make column optional when detecting error/messages

fix #194
fix(emacs/Makefile): add missing Makefile
fix(emacs/CMakeLists.txt): add all *.el files when install
feat(emacs/lean-company): add custom-variable lean-company-type-foreground

Close #190
fix(emacs/lean-company): import auto complete bug

fix #189
fix(emacs/lean-company): fix auto-complete behavior after tab

fix #192
fix(emacs/lean-mode): run company-lean--check-prefix before auto-complete

fix #191
fix(emacs/lean-mmm-lua): add 'insert' for mmm-insert-region (C-c % l)

Related issue: #74, https://github.com/flycheck/flycheck/issues/349, https://github.com/purcell/mmm-mode/issues/32
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

Related issue: #74
feat(lean-mode): enable mmm-parse-when-idle

Related issue: #74
fix(emacs/lean-option): handle lean-option-string when it's nil
feat(bin/linja): pass -D config option to lean

Close #196
feat(lean-option): handle default pp.width option value
test(emacs/lean-option-test): add lean-test-update-string-alist-default
fix(bin/linja): pass args.cache to lean when project file not found

fix #195
fix(bin/ltags): handle recursor specially in tags generation

fix #197