syssave combined with microservices

syssave:

• The complete SO tree
• status of Interpreter and Context

binary format or leon-format?

leon pass option to start from a snap?

or JSON format. A first step to Jupyter.