adding GPL Header to source files