add GPL headers to all our source files