Make a notebook that calls stormpy MEC elimination on a stormvogel model

[linusheck]

This is to show we can use "commonly used subroutines" for MDPs easily with stormvogel to prototype things that need those subroutines. Other examples of such subroutines would be prob=0/prob=1 elimination

[linusheck]

This would just be

• convert to stormpy
• call MEC elimiation
• convert back to stormvogel

[YouGuessedMyName]

Made this :)