revise events specifications to reflect final system under V&V

[kiniry]

During Task 2 we must revise our events specifications (in Lando and SysML) to reflect those events that exist in the Cryptol model and the demonstrator implementation. Like our final SysML<->Cryptol model revisions at the end of Task 1, this often means small changes on both ends of the refinement relation, but usually amounts to just some renaming to make the refinement plain.

[kiniry]

Note that scenarios and events are specified using Actions in SysMLv2.

[kiniry]

I have sketched out the necessary revisions of the RTS system events in events.lando and in the SysML model in commit 8b37cee. What is missing from my sketch is internal events that are critical to the ASM specification and system behavior but are not yet expressed in Lando or SysML. Those still need to be added, but we can do that when we capture the ASM. Based upon this sketch I believe that @abakst should be able to finish the spec.

[kiniry]

I have cherry-picked all commits on the branch 44-revise-events-specifications-to-refle into #70, so I'm going to remove the remote branch associated with this issue and continue the work over in feature/30-revise-and-extend-sysml-specification.