Added AGPLv3 license since our code uses it.