Update CONTRIBUTORS.txt.