Add visualization for parameter space partitioning

[volkm]

Parameter space partitioning is a common use case for parametric analysis. I would be good to provide a simple script for performing and visualizing the regions as part of stormpy.

Maybe also connected to janerjak/region-diagram-generator