Created an initial version of the Maude-based refinement engine. We can now check for applicable laws via Maude and apply those refinements. Much more work to be done here though.
Clean up cmlc option descriptions a bit
related to #282 added delayed contexts to the child behaiours instead of the root node of []
Added some corrections to Maude output and support for guarded actions to the visitor.
removed unused imports
added implementation for action: alphabetised parallel and its replicated version
change test case to display interpreter state when failing
removed unessary context
Merge remote-tracking branch 'origin/kel/base' into jwc/base
close #268 fixed this again. It was broken due to a fix for #282

#268 should be manually check to confirm that the test result is correct (issue-268-pos.result) @JeremyBryans

close #282 this should be done now
improved formatting of error results in the test of the interpreter + added expected status
Added a configuration view for Maude. Made the refinement law detail view update with law text.
Merge remote-tracking branches 'origin/kel/base' and 'origin/acf' into jwc/base
Added support for processing parametric refinement laws in Maude
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
The refiner now feeds any meta-variable inputs through the parser first, which ensures they are both valid and can be run through the Maude pretty printer for output.
Added some more cases for the pretty printer
reduced size of test run. Previous overture sync in commit e8cd77e2c089700cebe660d725324c134e0701ec should have been. overturetool/overture@cf198df991bd64d7b677e11a9fc1973c516e34e8