Add a couple of new contributors to the AUTHORS file.