Slightly improved documentation for building DTMC and MDP (#204) #513

Job	Run time
Test on stable (Debug)	8m 11s
Test and Deploy on latest (Debug)	22m 57s
Indepth Tests (Debug, all libraries)	26m 55s
Test on stable (Release)	8m 18s
Test and Deploy on latest (Release)	29m 35s
Indepth Tests (Debug, no libraries)	21m 50s
Indepth Tests (Release, all libraries)	27m 23s
Indepth Tests (Release, no libraries)	21m 20s
Email notification	2s
	2h 46m 31s

Provide feedback