feat(emacs/lean-mmm-lua.el): add mmm-mode to syntax-highlight lua code
in lean-mode

Close #74
feat(emacs/lean-server): accept "BEGININFO .*" pattern
feat(emacs/lean-server): accept "BEGININFO .*" pattern