Add DTMCSimple constructor which takes transition probability matrix …#142

lisaoakley wants to merge 1 commit intoprismmodelchecker:masterprismmodelchecker/prism:masterfrom

lisaoakley:matrix_mclisaoakley/prism:matrix_mcCopy head branch name to clipboard