Added task to remove Promela parser generated files.

... using failonerror="false"