very minor update
updated parsers.pptx
update parsers.pptx
Merge branch 'kast-in-K' of https://github.com/kframework/k into kast-in-K

Conflicts:
	samples/kast/parsers.pptx