convert license headers to SPDX

Includes license review of 3rd-party files, adding missing upstream
headers, and moving the UNSW OZPLB license into its own file rather
than replicating it in the header.

style: style cmake files consistently

CMake: Relax polly toolchain requirement to gcc

Previously we demanded gcc-7