Rename DEVELOPERS to CONTRIBUTING

This follows github conventions.  See also #250