credits.cgi: update contributors