add a license file (GPLv3)