Added task to remove Promela parser generated files.
Merge pull request #320 from kframework/remove-promela-parser-files

Added task to remove Promela parser generated files.