add GPL headers to all source files