Fix licensing: GPL 2 -> 3 in file headers.