Convert model checking results to stormpy and annotate in stormvogel

[linusheck]

• In Markov chains, annotate states with probabilities
• In MDPs, annotate states with probabilities and show which actions were taken