licenses: convert license tags to SPDX
global: isabelle update_cartouches
lib: automation for separation logic & folds
Isabelle2018: Sep_Algebra
Import release snapshot.