AUTHORS: Reformatted the list of contributors.