chore(.travis.yml): install required package for pdf generation
feat(elisp/org-pdf-export.el): remove "inputenc" from default packages as it clashes with xelatex
feat(elisp/ob-lean.el): remove unused file