switched the rest of FSM + Anduril to use SPDX license headers
instead of full GPL headers (or all too often, nothing at all)

There are a few "FIXME" entries where I'm not sure about the correct copyright.