externalize proving algorithm to class Prover
change to be able to add items to field 'subFigures' after construction
converter of MTree to ProofFigure
revise toString
bugfix (locate single subtree)
revise sample data
fix to set y of origin point for each node