New clean target: dump models, proofs, axioms.
clean is PHONY.