licenses: convert license tags to SPDX
Removes all trailing whitespaces
camkes: Add CamkesCdlRefine to regression tests.
release cleanup
Import release snapshot.