Allow saving/loading proof trees as files

[joom]

Need to find a way to serialize and deserialize proof trees.

Every file load would check the proof tree from scratch, which would determine if the proof tree file is tempered with. In a way, it would be like a tactic script.