Add Antal to AUTHORS.