Merged parser into main branch
Delete nonUnitClause.py
Delete unitClause.py
Added proof class
Merge branch 'master' of github.com:zacernst/prover9nudge
graph and parsing additions