Update docs/CONTRIBUTORS.txt