Removed some vestigial GPL license headers from the late 1990s. Many thanks to bsev on github from unearthing these and calling attention to the issue.