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