Live Code Updates

[smarr]

@Marmat21 I hope it's ok for you for me to document this branch based on your notes:

"""
Main change: I added support in SOMns for updating classes.
To this extent, I had to touch several parts of the mixindefinition, as well as invalidate assumptions and caches so that the new newly complied module would be used.

In short, it works as follows:

• When updating module A, a new version of the module is compiled in module A’.
• All dispatchables and slots definitions of A are substituted with the ones of A’.
  This is because recompiling a module not only recompiles methods, but also recompiles slots, which leads to new methods referencing new slots. Thus, both methods (aka dispatchables) and slots have to be set from A’ into A.

In total, I added two commands that the FrontEndConnector now understands: UpdateClass and RestartFrame.
The first one does as specified above, the second one instructs Truffle to restart the execution from a certain frame in the stack by re-entering it.
Note that the branch before the merge refers to an older version of Carmen’s branch before the rebase of Stefan. The merged version linked above does include the rebase of Stefan and passes the CI tests as of 16/12/2022.
"""