Better dot output for unsat proofs