Update CONTRIBUTORS

For future reference, the command to generate this file is
`git shortlog -s -n`.