EA_TEST add verification flags for RouteSuitability tests
EA_MODEL rename Kernel.TrackDescription.RouteSuitability.RouteSuitabilityItem.IsUnsuitabilty -> IsUnsuitable
EA_DOC added rules regarding pull requests to the coding_guidelines
EA_DOC add commment regarding pre-conditions of functions
EA_DOC add pull+merge rule to commiter guidelines
EA_DOC add chapter about specification view
EA_DOC reworked bibliography of coding_guidelines
EA_DOC reworked coding_guidelines after internal meeting
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
Merge pull request #370 from morido/documentation_stuff

Documentation stuff
Implemented prototype of contact order received
Merge branch 'OpenETCS/master'