Add reviews of LUniv paper
Improve pretty printing
Fix underscore type parameter problem in Proof
Merge branch 'feature/Pre-GSoC-Improvements' into develop
Remove Guard and everything that depended on it
Replace ProofCompressor by Proof => Proof
Refactor Split and MultiSplit
Implement Timeout trait
Split Split.scala into several files
Remove optimization from R&R that does not seem to be significant enough
Simplify reconstruct
Fix Split
Fix info in proof compression CLI
Fix MultiSplit
Merge branch 'feature/EliminateGuard' into develop
Remove remaining reference to Guard
Remove "fakeSize"

A few experiments showed that there is no performance gain when using fakeSize. Perhaps because we are using IndexedSeq instead of List now.
Rename CutIC
Simplify resolution constructor