change license to AGPLv3