Update AUTHORS file: include all contributors there.