Add some missing contributors to the AUTHORS file.