add missing CONTRIBUTORS.txt