Add official GPL header to make license explicit as discussed on ffmpeg-devel.