Using AGPL for software