Rename GPL-LICENSE to AGPLv3-LICENSE

Just to make it easier for people skimming the repo.