extract_proofs: update Makefile
extract_proofs: remove dups from ref_cade.bib
chore(travis): install texlive-science texlive-math-extra