prepend GPLv3 header