update parser and infospec format
Merge pull request #1 from ucsd-progsys/incrspec

update parser and infospec format