* Update AUTHORS.txt to include known contributors