Updating Genode's license to AGPLv3 + open-source linking clause