update parser and infospec format

Made some changes to the parser to understand how the infospec file format has changed. Additionally changed how the infospec file is written out, primarily:
1) Add location specs
2) Expand qualifiers
3) Change function applications to look like F([a1;...;an]) instead of the easier-to-read F(a1,...,an) to match expectations elsewhere.