Create function to read in PRISM models

[Daniel-Runge]

Using Jajapy, Stormpy, or Storm, read in PRISM models and convert them to a CuPAAL representation.