AUTHORS: add an authors file in preparation for updating the copyright.