Add GPL license plate to SGI's files.