Add Boris Zentner to AUTHORS