Switched to parser-combinator based parsing.  Phasing out menhir/yacc.
All provers work, but there may still be bugs hiding out there.
Fixed a bug in the while-program parser.
Merge remote-tracking branch 'origin/parsec'