Add custom run tasks
Adapt CLI description to new custom run task
Fix typos
Move MultiSplit to a separat file
Clean and rename DAGify and make it work with UncheckedInference
Make split work with unchecked inferences
Rename ProofCompressor
Adapt MultiSplit and variants of RPILU to work with UncheckedInference
Adapt R&R to UncheckInference