AUTHORS.md: update list of contributors