Add variables, constants, operations, history table command
It would be nice to have commands to view the variables constants, maybe also invariants/properties enabled operations history as a table. For the latter two, it would be nice to also execute an operation in the table and jump back to an earlier point in the history (e.g., by referring to a number in the table or by clicking).
These commands correspond to somewhat to views in the ProB UI. Maybe parts of the code could be reused (e.g., code on how to render the state view).