just put contributors in 'AUTHORS'

rather than separate file 'THANKS'