Added the serialization of proof obligations to recover the state of
verification between sessions.
file.tex.state files record the verification status of file.tex so that
literate-unitb picks up where it left off when it is lauched again.
Merge branch 'serialize-po'