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.
Added some corrections to Maude output and support for guarded actions to the visitor.
Added a configuration view for Maude. Made the refinement law detail view update with law text.
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
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