Rename CONTRIBUTORS to AUTHORS

Easy to confuse when skimming through the tree.

But the real reason (for me) is that the tab-completion is not very
useful when two files start with the same prefix.