updated copyright for GPLv3; added gpl header to source files