extract_proofs: add aircraft.tex