feat(elisp/org-pdf-export.el): remove "inputenc" from default packages as it clashes with xelatex
feat(elisp/ob-lean.el): remove unused file