Add Thomas to the AUTHORS