Removing the old commits of the parser to prepare for the one time code review.
Merge pull request #316 from kframework/newparser-blankslate

Removing the old commits of the parser to prepare for the one time code review.