added license headers (mainly to test a script I wrote that does it automatically)