remove the cif2pnml transformation from the master branch