licenses: convert license tags to SPDX
Isabelle2016-1: update references to renamed constants and facts
WIP on WCET annotations.
Adjustments in GraphLang to support CDSL.
Import release snapshot.