Removing pdmc from master
Updated buldjava.xml to remove Promela parser generation.
Merge pull request #293 from kframework/remove-pdmc

Removing pdmc from master