first sorta functional implementation of a GUI tree for displaying
proofs, ugly, but working. With line wrapping!