more changes
ICP diagram etc
extract_proofs: add proved and unproved experiments (in org format)
extract_proofs: add bad_proofs.tex (table for unproved instances)

Conflicts:
	extract_proofs/kepler.tex
this and that
chore(travis): update bb_token
extract_proofs: add branch-and-prove algorithm