Merge remote-tracking branch 'origin/development' into newpog
Merge remote-tracking branch 'origin/symphony/development' into newpog
Merge remote-tracking branch 'origin/ldc/astntrw' into newpog
Kill a stray file
Added tests revealing problem with generation of the let be expression and deflattening
Fix for problem with generation of let be expressions
Improved generation of the apply expression where union types are involved
Merge commit '75be1d2e68d3bb71df7ec757586201a01a78537d' into symphony/development
Merge remote-tracking branch 'origin/newpog' into symphony/development
Merge remote-tracking branch 'origin/ldc/astntrw' into symphony/development
Enabled interpretation of type binds e.g. i : int

The generation is controlled by:

Properties.numeric_type_bind_generation;
Properties.minint;
Properties.maxint;

accessible from the launch configuration in the IDE. This is disabled by default.
Merge remote-tracking branch 'origin/symphony/development' into kel/astv2

Conflicts:
	core/interpreter/src/main/java/org/overture/interpreter/utilities/type/AllValuesCollector.java
excluded the soccer tests from model checker (prob) it doesnt work
Updated the code generation testing system to work on Linux
Added Java code generation for the thread id expression (initial) and added test example
Fixed file separators for test roots
change the path adding the line seperation instead of \\ in order to become generic.
Merge remote-tracking branch 'origin/gk/codegenconc' into pvj/main
Added sorting for test files which is needed on Linux
Merge remote-tracking branch 'origin/pvj/main' into ncb/development