Printer file moved to utilities
New organisation of helpers, new helper file for RunningTheory and their elements. Can show Justifications
SCProofCheckerJudgement now contain the proof they refer to, no need to pass it explicitely along anymore.
Other small changes.