k3-sle: New example metamodels
k3-sle: Update Fsm example
k3-sle: Update codegen