Update to short-style license headers; add up-to-date AUTHORS and CONTRIBUTORS files.