Update CONTRIBUTORS.txt

Adding a contribution record that has been omitted in PR #1254