Working PLY parser.
updating from develop
Merge branch 'develop' of github.com:zacernst/prover9nudge into develop