create functionality to generate the scheduler induced markov chain

[PimLeerkes]

given an mdp and a scheduler of its model checking result, create a function that generates the induced markov chain.