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.

simulation: Create helper to launch gdb instance

This helps improve the usability of the gdb changes introduced in the
simulate scripts.