isabelle update -u path_cartouches;
Discontinued old spark_open; spark_open_siv is now spark_open
Added new SPARK verification environment.