Merge branch 'origin/sdf'
Merge branch 'origin/test'
Added seq-left-identity refinement law.
Added sequential composition to pretty printer.
Added an equality law in the form of two refinement laws (LLL-lr and LLL-rl) for the left to right and right to left applications.

Fixed the issue with & not showing. It is a limitation of eclipse labels. Before returning the details of a law, I'm replacing each & by &&, which is the escaped form accepted by the widget.
Added the copy rule for both simple action calls and parametrised actions (including val, res and vres parameters). I had to implement this as a progammatic rule because I needed access to the ast to recover the definition of the action.
Added the copy rule for both simple action calls and parametrised actions (including val, res and vres parameters). I had to implement this as a progammatic rule because I needed access to the ast to recover the definition of the action.
Merged with origin/development. Working (partially) with the second exemple of Insiel.
Added action replacement and subaction checking.
Added refinement of action declaration.
Added refinement of implicit recursion to explicit recursion (need to add selection of recursion action name).
Merge branch 'development' of https://github.com/symphonytool/symphony into acf
Small improvements to handle parameters in model checker.
close #281 relaxed uniqueness check such that definitions inside processes and classes can have the same name.
added more test info for cosim tests in the interpreter + removed sysout in the cosim client
enabled class bodies to include operations in s2c (now possible to fix #281)
Merge remote-tracking branch 'origin/test' into kel/base
close #225 changed overture to do proper location compare in Environment

overture sync required: overturetool/overture@e4b68814ce23d8f4b90e2538fd7f88a44089d660

@joey-coleman we need compass the overture branches to be moved up for this fix to take place
Modifications to handle parameters in another example from Insiel.
merge RTT-Plugin Development into COMPASS repository:
- fixes for replay: upload and download *.rttdoc files
- changed order of replay and doc commands.
- disable replay for test procedures without matching test procedure generation context.
Merge remote-tracking branches 'origin/uwe', 'origin/acf', 'origin/kel/base', 'origin/rjp' and 'origin/ahm' into jwc/base
fixed copoy/past error in cosim protocol version (now the value is 3.0.0 as it should be)
Merge remote-tracking branch 'origin/test' into kel/base