Add Thomas to the AUTHORS file.