Add Sokoban-saving-loading-undo-interface