Add contributors.

  - TODO: automatically generate the contributors list using the GitHub
    api.