first version of proof tree renderer
added "strange layout" handling
incomplete but better readme