AUTHORS: add new contributors