Slightly improved documentation for building DTMC and MDP #512

Job	Run time
Test and Deploy on latest (Debug)	21m 35s
Test on stable (Debug)	8m 54s
Indepth Tests (Debug, all libraries)	28m 8s
Test and Deploy on latest (Release)	29m 10s
Test on stable (Release)	8m 34s
Indepth Tests (Debug, no libraries)	20m 31s
Indepth Tests (Release, all libraries)	27m 49s
Indepth Tests (Release, no libraries)	23m 34s
Email notification	2s
	2h 48m 17s

Provide feedback