Remove AUTHORS.txt and add-authors.sh

Keeping this file up to date requires hours of work every release,
even with the script. It is a fool's errand and we shall not do it
any longer.

Author: brson