Fixing job scheduling issues.
Added model-checker lock (singleton behaviour).
cleaned up dead code and closed down visibility

updated deprecated method calls
corrections to TP visitor for type invariants, undefined actions/processes
enabled distributed simulation through the collaboration plugin
now getting process list directly from model
removed old commented code
upgraded the overture dependency to version 2.0.3 and fixed all references to the assistant factory to use the CML versions.

sync required

overturetool/overture@a9f82cbe5f941b158f3b932a7be65ee44763ec32
Initial working version of discharge all pos. Code cleanup still needed.
Merge remote-tracking branch 'origin/development' into ldc/tipi
First part of jobs management done.
Merge commit 'a344a150eb2ded61aa8d61b1ac8c633007d04d6c' into development
Merge commit '64a0b77a5b9cee7c90c52b49849899080d28675d' into development
Merge commit '239f9b4291d9f4b6904e8e00688260e57bd7e924' into development
Add tycho-versions-plugin to ide/pom.xml and clear a CRLF file
Bump development to 0.2.9-SNAPSHOT now that the typechecker assistant
changes in overture are integrated.
Setup Symphony to use travis-ci
fixed null pointer in cp construction
Fixed manifest to cope with assistant factory change.
Merge remote-tracking branch 'origin/development' into ldc/tipi

Conflicts:
	ide/plugins/pog/META-INF/MANIFEST.MF