ProofChecker added
FormInserter and other added
ProofBank is debugged
Backup commit
second task done
bugs in proof write and read
bugs in task 2 fixed
backup commit
Tasks 1, 2, 3 implemented
Merge remote-tracking branch 'origin/master'