* Add skeleton code to implement RDB function
WIP code for RBD plugin
Temporary commit for RDB action
Fixed issue with property lookup when looking for the property on a
state without a local context.
Basic processing of error model for RDB evaluation
* Put a warning instead of an error when the destination
  component has an error model and the source does not have one.
Show a dialog with the result
Need to consolidate and improve feedback
Fix handling of fault expression
remove debug output
No extends of error state machines.
Simplified type mappings and transformations. Eliminated element rules,
just type and type products.
Use () instead of {} around type instances (type tokens).
Added distribution functions. Added SecondValue and ThirdValue as
parameters to some of the functions.
Detection uses ! to indicate triggering event (same as in BA)
* Set up code skel for PRISM model export function
Add function related to EMV2 properties in the EM2Util package
Factor some code
Use code imported/moved into EMV2Util
Start to output PRISM-compliant files
Recursively parse all aadl models
* First draft/prototyp of PRISM export
Add documentation for methods introduced in EM2Util