Credit contributors in AUTHORS

Like the automatic gathering of contributions for the changelog, the authors file should also be updated to contain all contributor git names.