Add AGPLv3 to spec document and do some rearrangement