Add example solutions to default instances for Reach and Deadlock

[enellis]

Closes #565.

[jvoigtlaender]

For the defaultReachInstance and defaultDeadlockInstance, it would be nice to add a test each to the test suite, checking that each solution recorded in the instance indeed passes reachEvaluation and deadlockEvaluation, respectively.

To deal with the path/file IO during those tests, it should be possible to proceed analogously to here:

modelling-tasks/test/Modelling/CdOd/DifferentNamesSpec.hs

Lines 369 to 372 in b293f87

	synResult <- getResult $ differentNamesSyntax i cs''
	semResult <- if isJust synResult
	then withTempDir $ \tmpDir -> getResult $ differentNamesEvaluation tmpDir i cs''
	else pure Nothing