Use support for discounted properties in Storm

[TheGreatfpmK]

Once stormchecker/storm#621 is merged in Storm and the needed stuff is also added to StormPy we should add an option in PAYNT to use this implementation instead of using the model transformation.