EA_TEST add verification flags for RouteSuitability tests
EA_MODEL rename Kernel.TrackDescription.RouteSuitability.RouteSuitabilityItem.IsUnsuitabilty -> IsUnsuitable
Merge branch 'upstream/master'

Conflicts:
	ErtmsFormalSpecs/doc/specs/subset-026/DMI.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/TrackDescription/RouteSuitability.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/TestFrames/Route suitability - Functional tests.efs_tst
EA_TEST add verification flags for RouteSuitability tests
Merge pull request #369 from morido/james_supervision

James' supervision: Add Verification flags to tests