Added copyright headers, making it official that this is distributed under the terms of the GNU Affero General Public License