licenses: convert license tags to SPDX
global: isabelle update_cartouches
Removes all trailing whitespaces
Import release snapshot.