Add save command to the examples#874

GraDKh wants to merge 1 commit intodgordon/serialize_proofbinius-zk/binius64:dgordon/serialize_prooffrom

gordon/dd_save_commandbinius-zk/binius64:gordon/dd_save_commandCopy head branch name to clipboard