Update AUTHORS.txt listing contributors