Add AUTHORS and CONTRIBUTORS files.

The list of contributors was created from the Author: entries of the Git
commit log, sorted in alphabetical order.