add LICENSE.txt: AGPLv3