platin: pml2ais now supports inputs via -i foo.pml