feat(emacs/Cask): add Cask file

Close #92
feat(emacs/lean-require): check lean-mode dependencies in initialization

Close #91
doc(emacs/README.md): update required/optional packages
doc(emacs/README.md): update required/optional packages