Adapt GPL license headers to match the current conventions.