Making proof_trace_parser and llvm_rewrite_trace_iterator use a shared_ptr of kore_header
#2369
| Job | Run time |
|---|---|
| 3m 48s | |
| 6m 30s | |
| 6m 43s | |
| 11m 50s | |
| 29m 23s | |
| 17m 2s | |
| 1h 15m 16s |