extract_proofs: add Makefile
chore: update .gitignore
extract_proofs: add .gitignore
extract_proofs: remove duplicated bibtex entries
extract_proofs: have separate kepler.tex file
extract_proofs: update exp section, add table (in orgmode)