licenses: convert license tags to SPDX
global: isabelle update_cartouches
lib: sep_tactics cleanup; session cleanup + organisation
lib: automation for separation logic & folds