Add CREDITS to EXTRA_DIST as instructed by Vincent.