Cosim updated:

* added option for changing cosim protocol
* fixed json serilization due to overture changes - resuire sync with overturetool/overture@
* change SynchronousQueue in the communicating co-sim code. add/offer was used instead of put. For it to work the pair put/take must be used.
* change name of CoSimCmlInterpreter to include the name "client" since it is only intended to be used by cosim clients
* updated log properties to include logging for the new messages
* updated tau transitions to change the case where a source isnt set
* updated cosim communication to allow tau transitions in the case where the coordinator inspects a client at a point where it isnt ready to be inspected and needs to be asked again
* changed the cosim tests, this related to #271, the fix is not done. It still needs the wait stuff to be change to a proper watch dog which is reset when the process writes to its console.
moved the required Object[] into the cosim protocol such that it is only required when running with the protocol. This allows a version 2 protocol to ignore this.
added version to register sub system cosim message
reduced size of test run. Previous overture sync in commit e8cd77e2c089700cebe660d725324c134e0701ec should have been. overturetool/overture@cf198df991bd64d7b677e11a9fc1973c516e34e8
Merge remote-tracking branch 'origin/kel/base' into jwc/base
Merge remote-tracking branch 'origin/sdf' into jwc/base
Setup ide/plugins/refinementtool for scala compilation in maven
Merge branch 'origin/test'
Added seq-left-identity refinement law.
Added sequential composition to pretty printer.