Can add PNML models.
Keep outputs (stdout and stderr) of pnmc.