Savepoint
- Implementation as a Built-in Command
- add to UI: Combobox to select between different savepoints, UI has to be updated after selection
- Reset to old proof state
- Jump to save command/savepoint in the script
- load saved KeY proof
- when starting the interpreter skip all commands till save command/savepoint