Add a script to convert prod files to pnmc format