feat(tutoral/03__Quantifiers_and_Equality.org): add first draft of chapter 3
feat(*.sty): add LaTeX style files
refactor: rename elisp/org-batch.el => elisp/org-html-export.el
chore(.gitignore): update
feat: add aux files for PDF generation
feat(*.org): move HTML-related headers to header/header.html.org
feat(Makefile): add PDF generation
feat(merge_chapters.sh): add merge_chapters.sh
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
chore(.travis.yml): add apt cache
feat(header/l3kernel.tar.gz): add newer version of l3kernel package
chore(.travis.yml): add extra latex package
feat(01_Dependent_Type_Theory.org): rename title and chapter name
feat(README.md): add required packages
feat(css): update CSS
feat(juicy-ace-editor.html): pass code to myModule if possible
fix(elisp/org-html-export.el): fix lean-escape-code
feat(js/main_live.js): add JS code for live demo