Allow executing probcli commands
It should be possible to use existing probcli REPL commands from Jupyter. This could be done automatically (if a command is not implemented in the Jupyter kernel, try to execute it with the CLI) or manually with a :probcli
command.
It might also be a good idea to only allow certain probcli commands to be executed (whitelist). For example, commands that go to a different state would not work correctly, because the ProB 2 kernel manages states/traces itself.